Alex Pelin. Using complexity functions to generate normal forms for free algebra terms. In Frank L. Friedman, James F. Korsh, editors, Proceedings of the ACM 12th annual computer science conference on SIGCSE symposium, CSC 1984, Philadelphia, Pennsylvania, USA, February 14-16, 1984. pages 159-164, ACM, 1984. [doi]
Abstract is missing.