Schmerl, U. R. (1989). Logic programming by compilation and interpretation of formal derivations. Univ. d. Bundeswehr München, Fak. für Informatik.
Chicago-Zitierstil (17. Ausg.)Schmerl, Ulf Roland. Logic Programming by Compilation and Interpretation of Formal Derivations. Neubiberg: Univ. d. Bundeswehr München, Fak. für Informatik, 1989.
MLA-Zitierstil (9. Ausg.)Schmerl, Ulf Roland. Logic Programming by Compilation and Interpretation of Formal Derivations. Univ. d. Bundeswehr München, Fak. für Informatik, 1989.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.