Dragan Bosnacki Stefan Leue Alberto Lluch-Lafuente Partial-order reduction for general state exploring algorithms. 39-51 2009 11 STTT 1 http://dx.doi.org/10.1007/s10009-008-0093-y db/journals/sttt/sttt11.html#BosnackiLL09