Bosnacki, Dragan and Leue, Stefan and Lluch-Lafuente, Alberto Partial-order reduction for general state exploring algorithms. International Journal on Software Tools for Technology Transfer (STTT), 11 (1). pp. 39-51. ISSN 1433-2779 (2009)