APA (7th ed.) Citation

Thielscher, M. (1995). Automatisiertes Schliessen über Kausalbeziehungen mit SLDENF-Resolution. Infix.

Chicago Style (17th ed.) Citation

Thielscher, Michael. Automatisiertes Schliessen über Kausalbeziehungen Mit SLDENF-Resolution. Sankt Augustin: Infix, 1995.

MLA (9th ed.) Citation

Thielscher, Michael. Automatisiertes Schliessen über Kausalbeziehungen Mit SLDENF-Resolution. Infix, 1995.