Satoh, K., & Iwayama, N. (1992). A correct top-down proof procedure for a general logic program with integrity constraints.
Chicago-Zitierstil (17. Ausg.)Satoh, Ken, und Noboru Iwayama. A Correct Top-down Proof Procedure for a General Logic Program with Integrity Constraints. Tokyo, Japan, 1992.
MLA-Zitierstil (9. Ausg.)Satoh, Ken, und Noboru Iwayama. A Correct Top-down Proof Procedure for a General Logic Program with Integrity Constraints. 1992.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.