Application of Term Rewriting Techniques to Hardware Design Verification. - Mandalagiri S. Chandrasekhar; J. P. Privitera; K. W. Conradt (DAC, 1987)