Constructor Equivalent Term Rewriting Systems are Strongly Sequential: a direct proof (1993)

Cached

Download Links

by Irène Durand , Bruno Salinier
Venue:Information Processing Letters
Citations:7 - 3 self