C. Beierle, M. von Berg, and A. Sanin, “Realization of c-Inference as a SAT Problem”, FLAIRS, vol. 35, May 2022.