@INPROCEEDINGS{HZ-MPB:PASCO1994:psato,
AUTHOR = "Hantao Zhang and Maria Paola Bonacina",
TITLE = "Cumulating search in a distributed computing
environment: a case study in parallel satisfiability",
BOOKTITLE = "Proceedings of the First International
Symposium on Parallel Symbolic Computation (PASCO)",
EDITOR = "Hoon Hong",
PUBLISHER = "World Scientific",
PAGES = "422--431",
SERIES = "Lecture Notes Series in Computing",
VOLUME = 5,
MONTH = "September",
YEAR = 1994}