Nick Bassiliades, Guido Governatori, Adrian Paschke Rule-Based Reasoning, Programming, and Applications - Germany Springer 2011 ISBN: 978-3-642-22546-8 Subjects--Topical Terms: Computer ScienceRule-Based Reasoning, Programming, and Applications