D. A. Basin and N. Klarlund, “Hardware Verification using Monadic Second-Order Logic”, BRICS, vol. 2, no. 7, Jan. 1995.