Towards Manipulation of Mutually Recursive Functions.

Published in: Fuji International Symposium on Functional and Logic Programming (1998)