"A Theorem Prover for Checking Satisfiability of Object-Oriented Database ..."

Anna Formica, Michele Missikoff, Roberto Terenzi (1995)
a service of Schloss Dagstuhl - Leibniz Center for Informatics