"Speeding Up Constrained Path Solvers with a Reachability Propagator."

Luis Quesada, Peter Van Roy, Yves Deville (2005)
a service of Schloss Dagstuhl - Leibniz Center for Informatics