COMINI, M., TITOLO, L., & VILLANUEVA, A. (2014). Abstract Diagnosis for tccp using a Linear Temporal Logic. Theory and practice of logic programming, 14(4-5), 787-801. https://doi.org/10.1017/S1471068414000349
Chicago-Zitierstil (17. Ausg.)COMINI, MARCO, LAURA TITOLO, und ALICIA VILLANUEVA. "Abstract Diagnosis for Tccp Using a Linear Temporal Logic." Theory and Practice of Logic Programming 14, no. 4-5 (2014): 787-801. https://doi.org/10.1017/S1471068414000349.
MLA-Zitierstil (9. Ausg.)COMINI, MARCO, et al. "Abstract Diagnosis for Tccp Using a Linear Temporal Logic." Theory and Practice of Logic Programming, vol. 14, no. 4-5, 2014, pp. 787-801, https://doi.org/10.1017/S1471068414000349.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.