TITLE     : Equivalence verification: theory, algorithms, and a tool
AUTHOR(S) : Bolognesi T, Caneve M
TYPE      : Contribution to book
YEAR      : 1989
CODE      : 418314

*** DO NOT EDIT THIS FILE ***