Model Based Deduction for Database Schema Reasoning (2004)

by Peter Baumgartner , Ulrich Furbach , Margret Groß-Hardt , Thomas Kleemann
Venue:KI 2004: ADVANCES IN ARTIFICIAL INTELLIGENCE
Citations:2 - 2 self