Book

Logic Programming and Nonmonotonic Reasoning

by Marcello Balduccini, Tomi Janhunen