A Concept for the Representation of Data and Algorithms. - Dirk Möller; Rudolf Müller (Computational Support for Discrete Mathematics, 1992)

Detection of symmetry of Boolean functions represented by ROBDDs. - Dirk Möller; Janett Mohnke; Michael Weber (ICCAD, 1993)

Least Upper Bounds on the Sizes of Symmetric Variable Order based OBDDs. - Laura Heinrich-Litan; Paul Molitor; Dirk Möller (Great Lakes Symposium on VLSI, 1996)

BDD minimization using symmetries. - Christoph Scholl 001; Dirk Möller; Paul Molitor; Rolf Drechsler (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1999)