Extensions of Inversion of Resolution Applied to Theory Completion (1992)

by C Rouveirol
Venue:in: Inductive Logic Programming