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