Jean-Pierre Jouannaud Syntactic Theories. 15-25 1990 conf/mfcs/1990 MFCS db/conf/mfcs/mfcs90.html#Jouannaud90 http://dx.doi.org/10.1007/BFb0029593