On completeness of narrowing strategies
scientific article; zbMATH DE number 4145314
scientific article