Amir Pnueli Yoav Rodeh Ofer Strichman Michael Siegel The Small Model Property: How Small Can It Be? 279-293 2002 178 Inf. Comput. 1 http://dx.doi.org/10.1006/inco.2002.3175 db/journals/iandc/iandc178.html#PnueliRSS02