@INPROCEEDINGS{KlaSch:EdgeCons,
	AUTHOR = {Klarlund, N. and Schwartzbach, M.  },
	TITLE = {Graphs and decidable transductions based on edge 
constraints},
	BOOKTITLE = {Proc.\ CAAP' 94, LNCS 787},
	YEAR = {1994},

}