Automatisiertes Schliessen über Kausalbeziehungen mit SLDENF-Resolution - Thielscher, Michael (Infix, 1995)
Zugl.: Darmstadt, Techn. Hochsch., Diss., 1994