Ulrich Aßmann Parallele Modelle für Deduktionssysteme. Infix Verlag, St. Augustin, Germany 1992 DISKI 21 3-929037-21-1