NP-completeness of small conflict set generation for congruence closure
scientific article; zbMATH DE number 6823094
scientific article