APA-Zitierstil (7. Ausg.)

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-Zitierstil (17. Ausg.)

LIERLER, YULIYA, und 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-Zitierstil (9. Ausg.)

LIERLER, YULIYA, und 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.