Detecting unsolvable queries for definitive logic programs (1998)

by M Bruynooghe, H Vandecasteele, D A de Waal, M Denecker
Venue:Principles of Declarative Programming, 10th International Symposium