@article{SulimmaStoffelKunz2006,
  author    = {Kolja Sulimma and Dominik Stoffel and Wolfgang Kunz},
  title     = {Accelerating Boolean implications with FPGAs},
  year      = {2006},
}