An integrated framework for the diagnosis and correction of rule-based programs
scientific article; zbMATH DE number 5815232
scientific article