Declarative debugging of rewriting logic specifications
scientific article; zbMATH DE number 6126075
scientific article