Kraan, I., Basin, D. A., & Bundy, A. (1992). Logic program synthesis via proof planning.
Chicago-Zitierstil (17. Ausg.)Kraan, Ina, David A. Basin, und Alan Bundy. Logic Program Synthesis via Proof Planning. Edinburgh, 1992.
MLA-Zitierstil (9. Ausg.)Kraan, Ina, et al. Logic Program Synthesis via Proof Planning. 1992.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.