Chitta Baral, Gerhard Brewka, John Schlipf Logic Programming and Nonmonotonic Reasoning - Germany Springer 2007 ISBN: 978-3-540-72200-7 Subjects--Topical Terms: Computer ScienceLogic Programming and Nonmonotonic Reasoning