Alberto Lluch-Lafuente Stefan Edelkamp Stefan Leue Partial Order Reduction in Directed Model Checking. 112-127 2002 conf/spin/2002 SPIN http://link.springer.de/link/service/series/0558/bibs/2318/23180112.htm db/conf/spin/spin2002.html#Lluch-LafuenteEL02