Amar Bendou Marc Ayel A Symbolic Execution Based Approach for Inspecting Knowledge Bases. 31-42 1997 conf/eurovav/1997 EUROVAV db/conf/eurovav/eurovav1997.html#BendouA97