Sascha Rangoonwala und Gerd Neu­ge­bauer. Distributed Failure Production: Sequential Theorem Proving on a Parallel Maschine. In Laveen N. Kanal und Chris­ti­an B. Suttner, Her­aus­ge­ber, Informal Proceedings of PPAI-91, International Workshop on Parallel Processing for AI, Sei­ten 169–177, Au­gust 1991.