| |
| 1995 | ||
|---|---|---|
| 2 | Anna Formica, Michele Missikoff, Roberto Terenzi: A Theorem Prover for Checking Satisfiability of Object-Oriented Database Schemas. ICLP 1995: 819 | |
| 1994 | ||
| 1 | Anna Formica, Michele Missikoff, Roberto Terenzi: Constraint Satisfiability in Object-Oriented Databases. East/West Database Workshop 1994: 48-60 | |
| 1 | Anna Formica | [1] [2] |
| 2 | Michele Missikoff | [1] [2] |