to give local strategies to function symbols for equality of two implementations of the E-strategy with and without evaluated flags (1998)

by T M Matsumoto Nagaya, K Ogata, How K Futatsugi
Venue:Proceedings of Asian Symposium on Computer Mathematics