Massively parallel inference systems - Furbach, Ulrich 1948-; Suttner, Christian; Fronhöfer, Bertram (TUM, Techn. Univ. München, Inst. für Informatik, 1991)