Using dominators for solving constrained path problems (2006)

by L Quesada, P Van Roy, Y Deville, R Collet
Venue:In Proc. 8th International Conference on Practical Aspects of Declarative Languages