Alon Y. Levy Marie-Christine Rousset Verification of Knowledge Bases: a Unifying Logical View. 7-18 1997 conf/eurovav/1997 EUROVAV db/conf/eurovav/eurovav1997.html#LevyR97