Toward logical analysis of tabular rule-based systems
scientific article; zbMATH DE number 1643345