Testing language containment for #-automata using BDD's (1991)

by H J Touati, R K Brayton, R P Kurshan
Venue:Formal Methods in VLSI Design (Miami, Jan.), ACM