Generating all abductive explanations for queries on propositional Horn theories (0)

by T Eiter, K Makino
Venue:Proc. 12th CSL and 8th KGC, Vienna (Austria), LNCS 2803