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

by D Peled
Venue:In Computer Aided Verification, volume 697 of LNCS