Book

Answer Set Programming

by Vladimir Lifschitz