Carl Pixley. A theory and implementation of sequential hardware equivalence. IEEE Trans. on CAD of Integrated Circuits and Systems, 11(12):1469-1478, 1992. [doi]
@article{Pixley92, title = {A theory and implementation of sequential hardware equivalence}, author = {Carl Pixley}, year = {1992}, doi = {10.1109/43.180261}, url = {http://doi.ieeecomputersociety.org/10.1109/43.180261}, researchr = {https://researchr.org/publication/Pixley92}, cites = {0}, citedby = {0}, journal = {IEEE Trans. on CAD of Integrated Circuits and Systems}, volume = {11}, number = {12}, pages = {1469-1478}, }