B. Cat, M. Denecker, and P. Stuckey. ICLP (Technical Communications), volume 17 of LIPIcs, page 201-211. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2012)
B. Cat, and Y. Lierler. ICLP (Technical Communications), volume 52 of OASIcs, page 12:1-12:15. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2016)