1 paper
Naoki Nishida, Yuya Maeda
The grammar representation of a narrowing tree for a syntactically deterministic conditional term rewriting system and a pair of terms is a regular tree grammar that generates expr…