APA (7th ed.) Citation

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 Style (17th ed.) Citation

Gebser, Martin, Benjamin Kaufmann, and 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 (9th ed.) Citation

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.