Addressed Term Rewriting Systems (2005)

by D Dougherty, P Lescanne, L Liquori, F Lang
Venue:Syntax, Semantics, and Pragmatics: Extended Abstract. ENTCS