Algebra of Modular Systems: Containment and Equivalence.

Andrei Bulatov, Eugenia Ternovska

Browse the full AAAI paper archive.