Hardware veri��cation using monadic second-order logic (1995)

by D Basin, N Klarlund