@inproceedings{ellman85,
  author	= {Ellman, Thomas},
  year		= {1985},
  title		= {Generalizing Logic Circuit Designs by Analyzing Proofs of Correctness},
  booktitle	= {Proceedings of the Ninth International Joint Conference on Artificial Intelligence},
  address	= {Los Angeles}
}