Inverse entailment for full clausal theories (2001)

by K Inoue
Venue:In: LICS-2001 Workshop on Logic and Learning