"A general decomposition strategy for verifying register renaming."

Hazem I. Shehata, Mark D. Aagaard (2004)
a service of Schloss Dagstuhl - Leibniz Center for Informatics