APA (7th ed.) Citation

LIERLER, Y. (2011). Abstract answer set solvers with backjumping and learning. Theory and practice of logic programming, 11(2-3), 135-169. https://doi.org/10.1017/S1471068410000578

Chicago Style (17th ed.) Citation

LIERLER, YULIYA. "Abstract Answer Set Solvers with Backjumping and Learning." Theory and Practice of Logic Programming 11, no. 2-3 (2011): 135-169. https://doi.org/10.1017/S1471068410000578.

MLA (9th ed.) Citation

LIERLER, YULIYA. "Abstract Answer Set Solvers with Backjumping and Learning." Theory and Practice of Logic Programming, vol. 11, no. 2-3, 2011, pp. 135-169, https://doi.org/10.1017/S1471068410000578.