Ntyft/ntyxt rules reduce to ntree rules (1996)

by W J Fokkink, R J van Glabbeek
Venue:Information and Computation