Ntyft/ntyxt rules reduce to ntree rules (1996)

by Wan Fokkink, Rob Van Glabbeek
Venue:Information and Computation