Logical Foundations For Rule-Based Systems by Antoni Ligeza