Marko C. J. D. van Eekelen, Marinus J. Plasmeijer. Specification of reduction strategies in term rewriting systems. In Joseph H. Fasel, Robert M. Keller, editors, Graph Reduction, Proceedings of a Workshop, Santa Fé, New Mexico, USA, September 29 - October 1, 1986. Volume 279 of Lecture Notes in Computer Science, pages 215-239, Springer, 1986.
Abstract is missing.