Logical debugging
scientific article; zbMATH DE number 566072
scientific article