Hugo Barros Sérgio Vale Aguiar Campos Mark A. J. Song Luis E. Zárate Exploring Clause Symmetry in a Distributed Bounded Model Checking Algorithm. 531-538 2007 ECBS http://dx.doi.org/10.1109/ECBS.2007.40 conf/ecbs/2007 db/conf/ecbs/ecbs2007.html#BarrosCSZ07