DMCA

Detecting Unsolvable Queries for Definite Logic Programs (1998)

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