Gergov, Jordan Algorithms and Complexity, MPI for Informatics, Max Planck Society;
Gergov, J., & Meinel, C. (1996). Mod-2-OBDDs - a Date Structure that generalizes EXOR-Sum-of-Products and Ordered Binary Decision Diagrams. Formal Methods in System Design, 8(3), 273-282.