Bliem, B., & Woltran, S. (2018). Equivalence between answer-set programs under (partially) fixed input. Annals of mathematics and artificial intelligence, 83(3-4), 277-295. https://doi.org/10.1007/s10472-017-9567-5
Chicago Style (17th ed.) CitationBliem, Bernhard, and Stefan Woltran. "Equivalence Between Answer-set Programs Under (partially) Fixed Input." Annals of Mathematics and Artificial Intelligence 83, no. 3-4 (2018): 277-295. https://doi.org/10.1007/s10472-017-9567-5.
MLA (9th ed.) CitationBliem, Bernhard, and Stefan Woltran. "Equivalence Between Answer-set Programs Under (partially) Fixed Input." Annals of Mathematics and Artificial Intelligence, vol. 83, no. 3-4, 2018, pp. 277-295, https://doi.org/10.1007/s10472-017-9567-5.
Warning: These citations may not always be 100% accurate.