Beierle, Christoph, et al. “Realization of C-Inference As a SAT Problem”. The International FLAIRS Conference Proceedings, vol. 35, May 2022, doi:10.32473/flairs.v35i.130663.