On approximation by \(^{\oplus}\)-OBDDs
scientific article; zbMATH DE number 5664772