Antoni Ligêza Logical Foundations for Rule-Based Systems - Germany Springer 2014 ISBN: 3540324461 Subjects--Topical Terms: Logical Foundations for Rule-Based Systems