Anna Formica: Finite Satisfiability of Integrity Constraints in Object-Oriented Database Schemas. IEEE Trans. Knowl. Data Eng. 14(1): 123-139 (2002)