Joachim Posegga Deduktion mit Shannongraphen für Prädikatenlogik erster Stufe. Infix Verlag, St. Augustin, Germany 1993 DISKI 51 3-929037-51-3