Marcello Balduccini, Yuliya Lierler, Stefan Woltran Logic Programming and Nonmonotonic Reasoning - Springer Springer 2019 ISBN: 9783030205287 Source: EBOOK