Completing logic programs by inverse resolution (1989)

by R Wirth
Venue:250, London/San