DMCA

Detecting Unsolvable Queries for Definite Logic Programs (1998)

by Maurice Bruynooghe , Henk Vandecasteele , D. Andre de Waal , Marc Denecker
Citations:11 - 3 self