An optimal narrowing strategy for general canonical systems (1992)

by A Bockmayr, S Krischer, A Werner
Venue:In Proceedings of the Third International Workshop on Conditional Term Rewriting Systems