Lierler, Y. On the Relation of Constraint Answer Set Programming Languages and Algorithms. AAAI 2021, 26, 521-527.