Hardware Verification using Monadic Second-Order Logic.

David A. Basin Nils Klarlund Hardware Verification using Monadic Second-Order Logic. 31-41 1995 conf/cav/1995 CAV db/conf/cav/cav95.html#BasinK95 http://dx.doi.org/10.1007/3-540-60045-0_38