Andreas Kuehlmann, Viresh Paruthi, Florian Krohm, Malay K. Ganai. Robust Boolean reasoning for equivalence checking and functional property verification. IEEE Trans. on CAD of Integrated Circuits and Systems, 21(12):1377-1394, 2002. [doi]
Abstract is missing.