Klarlund, N.; Schwartzbach, M. I. Graphs and Decidable Transductions Based on Edge Constraints. BRICS 1994, 1.