Bochman, A. (1998). A logical foundation for logic programming I: Biconsequence relations and nonmonotonic completion. The journal of logic programming, 35(2), 151-170. https://doi.org/10.1016/S0743-1066(97)10005-X
Chicago-Zitierstil (17. Ausg.)Bochman, Alexander. "A Logical Foundation for Logic Programming I: Biconsequence Relations and Nonmonotonic Completion." The Journal of Logic Programming 35, no. 2 (1998): 151-170. https://doi.org/10.1016/S0743-1066(97)10005-X.
MLA-Zitierstil (9. Ausg.)Bochman, Alexander. "A Logical Foundation for Logic Programming I: Biconsequence Relations and Nonmonotonic Completion." The Journal of Logic Programming, vol. 35, no. 2, 1998, pp. 151-170, https://doi.org/10.1016/S0743-1066(97)10005-X.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.