arXiv 2000-03-17 EN Detecting Unsolvable Queries for Definite Logic Programs Bruynooghe, Maurice · Vandecasteele, Henk · de Waal, D. Andre · Denecker, Marc
