@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}
}