APA (7th ed.) Citation

LIERLER, Y. (2023). Constraint Answer Set Programming: Integrational and Translational (or SMT-based) Approaches. Theory and practice of logic programming, 23(1), 195-225. https://doi.org/10.1017/S1471068421000478

Chicago Style (17th ed.) Citation

LIERLER, YULIYA. "Constraint Answer Set Programming: Integrational and Translational (or SMT-based) Approaches." Theory and Practice of Logic Programming 23, no. 1 (2023): 195-225. https://doi.org/10.1017/S1471068421000478.

MLA (9th ed.) Citation

LIERLER, YULIYA. "Constraint Answer Set Programming: Integrational and Translational (or SMT-based) Approaches." Theory and Practice of Logic Programming, vol. 23, no. 1, 2023, pp. 195-225, https://doi.org/10.1017/S1471068421000478.