INTERNATIONAL SUMMER SCHOOL ON ADVANCES IN LOGIC PROGRAMMING

Complexity of Logic Programming and Nonmonotonic Reasoning

Georg Gottlob