| |
| 1993 | ||
|---|---|---|
| 3 | Francisco Marqués, Juan Carlos Casamayor: Consistency Verification of Deductive Database Schemes. DAISD 1993: 287-307 | |
| 2 | Juan Carlos Casamayor, Francisco Marqués, Hendrik Decker: A Mechanism for Verification of Knowledge Base Scheme Specifications. EUROVAV 1993: 103-115 | |
| 1991 | ||
| 1 | Matilde Celma, Juan Carlos Casamayor, Laura Mota-Herranz, María Angeles Pastor, Francisco Marqués: A Derivation Path Recording Method for Integrity Checking in Deductive Databases. DAISD 1991: 185-203 | |
| 1 | Juan Carlos Casamayor | [1] [2] [3] |
| 2 | Matilde Celma | [1] |
| 3 | Hendrik Decker | [2] |
| 4 | Laura Mota-Herranz | [1] |
| 5 | María Angeles Pastor | [1] |