Thomas Ellman. Generalizing Logic Circuit Designs by Analyzing Proofs of Correctness. In IJCAI. pages 643-646, 1985.
@inproceedings{Ellman85, title = {Generalizing Logic Circuit Designs by Analyzing Proofs of Correctness}, author = {Thomas Ellman}, year = {1985}, tags = {logic}, researchr = {https://researchr.org/publication/Ellman85}, cites = {0}, citedby = {0}, pages = {643-646}, booktitle = {IJCAI}, }