Logical foundations for rule-based systems - Ligeza, Antoni. (Springer Berlin Heidelberg, 2006)