Wan Fokkink Glabbeek. Ntyft/ntyxt rules reduce to ntree rules (1996)

by Rob J van
Venue:Information and Computation