Sascha Rangoonwala and Gerd Neugebauer.
Distributed Failure Production: Sequential Theorem Proving
on a Parallel Maschine.
In Laveen N. Kanal and Christian B. Suttner,
editors, Informal Proceedings of PPAI-91,
International Workshop on Parallel Processing for AI, pages
169–177, August 1991.

