Markus Lohrey Géraud Sénizergues Rational Subsets in HNN-Extensions and Amalgamated Products. 111-163 2008 18 IJAC 1 http://dx.doi.org/10.1142/S021819670800438X db/journals/ijac/ijac18.html#LohreyS08