@inproceedings{FLOPS-1998-IwasakiHT,
	author        = "Hideya Iwasaki and Zhenjiang Hu and Masato Takeichi",
	booktitle     = "{Fuji International Symposium on Functional and Logic Programming}",
	pages         = "61--79",
	title         = "{Towards Manipulation of Mutually Recursive Functions}",
	year          = 1998,
}