@article{GoesselMorozovSapozhnikovetal.2005,
  author    = {Michael Goessel and A. V. Morozov and V. V. Sapozhnikov and Vl. V. Sapozhaikov},
  title     = {Checking combinational circuits by the method of logic complement},
  year      = {2005},
}