Book

Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning

by Marcello Balduccini, Tran Cao Son