@article{SchubertGloedeHegewaldetal.1994,
  author    = {Schubert, Wolfgang and Gl{\"o}de, Dirk and Hegewald, Eberhard and Koutzevlov, Atanas},
  title     = {ESF-Abschlußbericht},
  publisher = {Univ.},
  address   = {Potsdam},
  year      = {1994},
  language  = {de}
}
@article{Kunz1994,
  author    = {Kunz, Wolfgang},
  title     = {Ein effizientes Verfahren f{\"u}r die Logikvertifikation},
  year      = {1994},
  language  = {de}
}
@article{Kunz1994,
  author    = {Kunz, Wolfgang},
  title     = {Ein neuer Ansatz f{\"u}r die Optimierung mehrstufiger loischer Schaltungen},
  year      = {1994},
  language  = {de}
}
@book{Bartl1994,
  author    = {Bartl, Peter},
  title     = {Sachbericht zum Vorg{\"a}ngerprojekt von MOSVO},
  publisher = {Univ.},
  address   = {Potsdam},
  year      = {1994},
  language  = {de}
}