L.-G. Chen, J. Y. Lee, J. F. Wang, K.-T. Chen. Fast execution for circuit consistency verification. Integration, 4(3):239-262, 1986. [doi]
@article{ChenLWC86, title = {Fast execution for circuit consistency verification}, author = {L.-G. Chen and J. Y. Lee and J. F. Wang and K.-T. Chen}, year = {1986}, doi = {10.1016/0167-9260(86)90003-9}, url = {http://dx.doi.org/10.1016/0167-9260(86)90003-9}, researchr = {https://researchr.org/publication/ChenLWC86}, cites = {0}, citedby = {0}, journal = {Integration}, volume = {4}, number = {3}, pages = {239-262}, }