Ntyft/ntyxt rules reduce to ntree rules / W.J. Fokkink, R.J. van Glabbeek