Constraint Satisfiability in Object-Oriented Databases. - Anna Formica; Michele Missikoff; Roberto Terenzi (East/West Database Workshop, 1994)

A Theorem Prover for Checking Satisfiability of Object-Oriented Database Schemas. - Anna Formica; Michele Missikoff; Roberto Terenzi (ICLP, 1995)