EPIC: an equational language { abstract machine and supporting tools (0)

by Kamperman
Venue:In Proceedings 7th Conference onRewriting Techniques and and Applications (RTA'96), LNCS