Sascha Rangoonwala and Gerd Neu­ge­bauer. Dis­tri­bu­ted Failure Pro­duc­tion: Se­quen­ti­al Theo­rem Pro­ving on a Pa­ra­llel Ma­schine. In Laveen N. Kanal and Chri­sti­an B. Suttner, edi­tors, In­for­mal Pro­cee­dings of PPAI-91, Inter­natio­nal Work­shop on Pa­ra­llel Pro­ces­sing for AI, pa­ges 169–177, Au­gust 1991.