Bertram Fronhöfer Graham Wrightson Parallelization in Inference Systems, International Workshop, Dagstuhl Castle, Germany, December 17-18, 1990, Proceedings Dagstuhl Seminar on Parallelization in Inference Systems Lecture Notes in Computer Science 590 Springer 1992 3-540-55425-4 db/conf/dagstuhl/pis1990.html