Simulation-based minimization (2003)

by D Bustan, O Grumberg
Venue:ACM Transactions on Computational Logic