@inproceedings{FLOPS-1998-Tsukada,
	author        = "Yasuyuki Tsukada",
	booktitle     = "{Fuji International Symposium on Functional and Logic Programming}",
	pages         = "227--246",
	title         = "{Type-free Equational Reasoning in the Theeory of Inductively Defined Types}",
	year          = 1998,
}