Logical foundations for rule-based systems - Ligęza, Antoni. (Springer,)