Michael Thielscher Automatisiertes Schließen über Kausalbeziehungen mit SLDENDF-Resolution. I-XIV, 1-218 Infix 1995 DISKI 76 978-3-929037-76-0