Verification of Knowledge Bases based on Containment Checking (1996)

by Alon Levy , Marie-christine Rousset
Venue:Artificial Intelligence
Citations:15 - 2 self