An optimal k-consistency algorithm
scientific article; zbMATH DE number 4112031