APA (7th ed.) Citation

LIERLER, Y., & SUSMAN, B. (2017). On relation between constraint answer set programming and satisfiability modulo theories. Theory and practice of logic programming, 17(4), 559-590. https://doi.org/10.1017/S1471068417000114

Chicago Style (17th ed.) Citation

LIERLER, YULIYA, and BENJAMIN SUSMAN. "On Relation Between Constraint Answer Set Programming and Satisfiability Modulo Theories." Theory and Practice of Logic Programming 17, no. 4 (2017): 559-590. https://doi.org/10.1017/S1471068417000114.

MLA (9th ed.) Citation

LIERLER, YULIYA, and BENJAMIN SUSMAN. "On Relation Between Constraint Answer Set Programming and Satisfiability Modulo Theories." Theory and Practice of Logic Programming, vol. 17, no. 4, 2017, pp. 559-590, https://doi.org/10.1017/S1471068417000114.