@article{StoffelKunzGerber1997,
  author    = {Stoffel, Dominik and Kunz, Wolfgang and Gerber, Stefan},
  title     = {And/Or reasoning graphs for determining prime implicants in multi-level combinational networks},
  year      = {1997},
  language  = {en}
}
@article{ChatterjeePradhanKunz1995,
  author    = {Chatterjee, M. and Pradhan, D. K. and Kunz, Wolfgang},
  title     = {ATPG-based Transformations for random-pattern testable logic synthesis},
  isbn      = {0-8186-7213-7},
  year      = {1995},
  language  = {en}
}
@article{NeumannStoffelHartjeetal.1999,
  author    = {Neumann, I. and Stoffel, Dominik and Hartje, Hendrik and Kunz, Wolfgang},
  title     = {Cell replication and redundancy elimination during placement for cycle time optimization},
  year      = {1999},
  language  = {en}
}
@article{KunzReddySubodhetal.1996,
  author    = {Kunz, Wolfgang and Reddy, S. M. and Subodh, M. and Pradhan, D. K.},
  title     = {Efficient logic verification in a synthesis environment},
  year      = {1996},
  language  = {en}
}
@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}
}
@article{PradhanChatterjeeSwarnaetal.1996,
  author    = {Pradhan, D. K. and Chatterjee, M. and Swarna, M. and Kunz, Wolfgang},
  title     = {Implication-based gate-level synthesis for low-power},
  isbn      = {0-7803-3571-6},
  year      = {1996},
  language  = {en}
}
@article{StoffelKunz1996,
  author    = {Stoffel, Dominik and Kunz, Wolfgang},
  title     = {Logic equivalence checking by optimization techniues},
  year      = {1996},
  language  = {en}
}
@article{KunzStoffelMenon1997,
  author    = {Kunz, Wolfgang and Stoffel, Dominik and Menon, P.},
  title     = {Logic optimization and equivalence checking by implication analysis},
  year      = {1997},
  language  = {en}
}
@article{KunzMenon1994,
  author    = {Kunz, Wolfgang and Menon, P.},
  title     = {Multi-level logic optimization by implication analysis},
  isbn      = {0-89791-690-5},
  year      = {1994},
  language  = {en}
}