Dovier, A., Pontelli, E., & Rossi, G. (2000). A necessary condition for Constructive Negation in Constraint Logic Programming. Information processing letters, 74(3), 147-156. https://doi.org/10.1016/S0020-0190(00)00046-6
Chicago-Zitierstil (17. Ausg.)Dovier, Agostino, Enrico Pontelli, und Gianfranco Rossi. "A Necessary Condition for Constructive Negation in Constraint Logic Programming." Information Processing Letters 74, no. 3 (2000): 147-156. https://doi.org/10.1016/S0020-0190(00)00046-6.
MLA-Zitierstil (9. Ausg.)Dovier, Agostino, et al. "A Necessary Condition for Constructive Negation in Constraint Logic Programming." Information Processing Letters, vol. 74, no. 3, 2000, pp. 147-156, https://doi.org/10.1016/S0020-0190(00)00046-6.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.