Bulatov, A.; Ternovska, E. Algebra of Modular Systems: Containment and Equivalence. AAAI 2021, 35, 6235-6243.