Zero, successor and equality in BDDs
quantifier-free logic with zero, successor and equality
scientific article; zbMATH DE number 2160243