Kanamori, T. (1986). Soundness and completeness of extended execution for proving properties of Prolog programs.
Chicago-Zitierstil (17. Ausg.)Kanamori, Tadashi. Soundness and Completeness of Extended Execution for Proving Properties of Prolog Programs. Tokyo, Japan, 1986.
MLA-Zitierstil (9. Ausg.)Kanamori, Tadashi. Soundness and Completeness of Extended Execution for Proving Properties of Prolog Programs. 1986.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.