@phdthesis{Sack2004,
  author      = {Harald Sack},
  title       = {Improving the Power of Ordered Binary Decision Diagrams by Integrating Parity Nodes},
  type        = {doctoralthesis},
  school      = {Universit{\"a}t Trier},
  doi       = {10.25353/ubtr-xxxx-1832-56bd/},
  year        = {2004},
}