@Inproceedings{EPTCS289.5,
  author    = {Nishida, Naoki and Maeda, Yuya},
  year      = {2019},
  title     = {On Transforming Narrowing Trees into Regular Tree Grammars Generating Ranges of Substitutions},
  editor    = {Niehren, Joachim and Sabel, David},
  booktitle = {{\rm Proceedings Fifth International Workshop on}
               Rewriting Techniques for Program Transformations and Evaluation,
               {\rm Oxford, England, 8th July 2018}},
  series    = {Electronic Proceedings in Theoretical Computer Science},
  volume    = {289},
  publisher = {Open Publishing Association},
  pages     = {68-87},
  doi       = {10.4204/EPTCS.289.5},
}