Completing Logic Programs by Inverse Resolution (1989)

by R Wirth
Venue:In Proceedings of the Fourth European Working Session on Learning