R.J.: Ntyft/ntyxt rules reduce to ntree rules (1996)

by W J Fokkink, van Glabbeek
Venue:I&C