De Waal, DA; Denecker, M; Bruynooghe, M; Thielscher, M
(2000)
In deductive planning, there exists a· particular class of planning problems, called unsolvable planning problems, which although successfully treated theoretically, turns out to be undetectable using ordinary resolution ...