@article{Kunz1994,
  author    = {Wolfgang Kunz},
  title     = {Ein effizientes Verfahren f{\"u}r die Logikvertifikation},
  year      = {1994},
}