Undecidable properties of flat term rewrite systems | Publicación