All from one, one for all: On model checking using representatives (1993)

by D Peled
Venue:In Proceedings of Computer Aided Verification