Dragan Bosnacki, Gerard J. Holzmann. Improving Spin s Partial-Order Reduction for Breadth-First Search. In Patrice Godefroid, editor, Model Checking Software, 12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005, Proceedings. Volume 3639 of Lecture Notes in Computer Science, pages 91-105, Springer, 2005. [doi]