TY  - RPRT
TI  - Detecting Unsolvable Queries for Definite Logic Programs
AU  - Maurice Bruynooghe
AU  - Henk Vandecasteele
AU  - D. Andre de Waal
AU  - Marc Denecker
PY  - 2000
UR  - https://arxiv.org/abs/cs/0003067
ID  - cs/0003067
ER  -