TOY: A Multiparadigm Declarative System (1999)

by F López-Fraguas, J Sánchez-Hernández
Venue:In Proc. of the 10th Int’l Conf. on Rewriting Techniques and Applications (RTA’99