@article{journals/ita/HalavaHHL05,
  added-at = {2009-11-20T00:00:00.000+0100},
  author = {Halava, Vesa and Harju, Tero and Hoogeboom, Hendrik Jan and Latteux, Michel},
  biburl = {http://www.bibsonomy.org/bibtex/20e31a5b32b0b6434e55c31253ba2e92d/dblp},
  date = {2009-11-20},
  description = {dblp},
  ee = {http://dx.doi.org/10.1051/ita:2005035},
  interhash = {864f552ef1fec0ee6ed54ce45cc71c96},
  intrahash = {0e31a5b32b0b6434e55c31253ba2e92d},
  journal = {ITA},
  keywords = {dblp},
  number = 4,
  pages = {661-675},
  timestamp = {2009-11-20T00:00:00.000+0100},
  title = {Equality sets for recursively enumerable languages.},
  url = {http://dblp.uni-trier.de/db/journals/ita/ita39.html#HalavaHHL05},
  volume = 39,
  year = 2005
}