Bulatov, A. and Ternovska, E. (2021) “Algebra of Modular Systems: Containment and Equivalence”, Proceedings of the AAAI Conference on Artificial Intelligence, 35(7), pp. 6235-6243. doi: 10.1609/aaai.v35i7.16775.