Reducing Model Checking of the Few to the One.

E. Allen Emerson Richard J. Trefler Thomas Wahl Reducing Model Checking of the Few to the One. 94-113 2006 conf/icfem/2006 ICFEM http://dx.doi.org/10.1007/11901433_6 db/conf/icfem/icfem2006.html#EmersonTW06