A transformation system combining partial evaluation with term rewriting (1993)

by F Bellegarde
Venue:In Higher Order Algebra, Logic and Term Rewriting (HOA '93), volume 816 of LNCS