Book

Logic Programming and Nonmonotonic Reasoning

by Vladimir Lifschitz, Ilkka Niemelä