Gebser, M., Kaufmann, B., & Schaub, T. (2012). Conflict-driven answer set solving: From theory to practice. Artificial intelligence, 187-188, 52-89. https://doi.org/10.1016/j.artint.2012.04.001
Chicago-Zitierstil (17. Ausg.)Gebser, Martin, Benjamin Kaufmann, und Torsten Schaub. "Conflict-driven Answer Set Solving: From Theory to Practice." Artificial Intelligence 187-188 (2012): 52-89. https://doi.org/10.1016/j.artint.2012.04.001.
MLA-Zitierstil (9. Ausg.)Gebser, Martin, et al. "Conflict-driven Answer Set Solving: From Theory to Practice." Artificial Intelligence, vol. 187-188, 2012, pp. 52-89, https://doi.org/10.1016/j.artint.2012.04.001.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.