"Application of Term Rewriting Techniques to Hardware Design Verification."

Mandalagiri S. Chandrasekhar, J. P. Privitera, K. W. Conradt (1987)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics