Teusink, F. (1993). A proof procedure for extended logic programs.
Chicago-Zitierstil (17. Ausg.)Teusink, Frank. A Proof Procedure for Extended Logic Programs. Amsterdam, 1993.
MLA-Zitierstil (9. Ausg.)Teusink, Frank. A Proof Procedure for Extended Logic Programs. 1993.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.