Term rewriting in CT \Sigma (1993)

by A Corradini
Venue:In Proceedings CAAP '93, volume 668 of LNCS