Esra Erdem, Fangzhen Lin, Torsten Schaub Logic Programming and Nonmonotonic Reasoning - Germany Springer 2009 ISBN: 978-3-642-04238-6 Subjects--Topical Terms: Computer ScienceLogic Programming and Nonmonotonic Reasoning