Hardware verification using monadic second-order logic (1995)

by D Basin, N Klarlund
Venue:Computer Aided Verification