Equality sets for recursively enumerable languages Vesa Halava, Tero Harju, Hendrik Jan Hoogeboom and Michel Latteux RAIRO-Theor. Inf. Appl., 39 4 (2005) 661-675 Published online: 15 October 2005 DOI: 10.1051/ita:2005035