Y. Lierler, “On the Relation of Constraint Answer Set Programming Languages and Algorithms”, AAAI, vol. 26, no. 1, pp. 521–527, Sep. 2021.