Antoni Ligeza Towards Logical Analysis of Tabular Rule-Based Systems. 30-35 1998 DEXA Workshop db/conf/dexaw/dexaw98.html#Ligeza98