A semantic approach to order-sorted rewriting (1993)

by A Werner
Venue:Proceedings 5th Conference on Rewriting Techniques and Applications, Montreal (Canada), volume 690 of Lecture Notes in Computer Science