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

Anna Formica, Michele Missikoff, Roberto Terenzi

Browse the full ICLP paper archive.