Lluch-Lafuente, Alberto and Edelkamp, Stefan and Leue, Stefan  Partial Order Reduction in Directed Model Checking.   In:  Model Checking Software (SPIN '02).   Lecture Notes in Computer Science, 2318 .  Springer, pp. 95-138.  ISBN 3-540-43477-1      (2002)