Sequentiality in orthogonal term rewriting systems (1991)

by J W Klop, A Middeldorp
Venue:Journal of Symbolic Computation