Logical Foundations for Rule-Based Systems - Ligêza, Antoni (Springer Berlin Heidelberg, 2006)