Beierle, C., von Berg, M., & Sanin, A. (2022). Realization of c-Inference as a SAT Problem. The International FLAIRS Conference Proceedings, 35. https://doi.org/10.32473/flairs.v35i.130663