Logical Foundations For Rule-Based Systems door Antoni Ligeza