Towards manipulation of mutually recursive functions (1998)

by H Iwasaki, Z Hu, M Takeichi
Venue:In Fuji Int. Symp. on Func. and Logic Programming