[1]
A. Bulatov and E. Ternovska, “Algebra of Modular Systems: Containment and Equivalence”, AAAI, vol. 35, no. 7, pp. 6235-6243, May 2021.