Sprintensive3
1 REFLECTIONS on LOGIC PROGRAMMING and NONMONOTONIC REASONING by JACK MINKER UNIVERSITY OF MARYLAND.