Luis Quesada Peter Van Roy Yves Deville Raphaël Collet Using Dominators for Solving Constrained Path Problems. 73-87 2006 conf/padl/2006 PADL http://dx.doi.org/10.1007/11603023_6 db/conf/padl/padl2006.html#QuesadaRDC06