TY  - RPRT
TI  - On Transforming Narrowing Trees into Regular Tree Grammars Generating Ranges of Substitutions
AU  - Naoki Nishida
AU  - Yuya Maeda
PY  - 2019
DO  - 10.4204/eptcs.289.5
UR  - https://arxiv.org/abs/1902.08423
ID  - 1902.08423
ER  -