Inverse Entailment for Full Clausal Theories (2001)

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