@article{StoffelKunzGerber1997,
  author    = {Dominik Stoffel and Wolfgang Kunz and Stefan Gerber},
  title     = {And/Or reasoning graphs for determining prime implicants in multi-level combinational networks},
  year      = {1997},
}