Error-free affine, unitary, and probabilistic OBDDs
scientific article; zbMATH DE number 7216370