Marcello Balduccini, Tomi Janhunen Logic Programming and Nonmonotonic Reasoning - Springer Springer 2017 ISBN: 9783319616605 Source: EBOOK