@inproceedings{FLOPS-1998-Miyoshi,
	author        = "Hiroyuki Miyoshi",
	booktitle     = "{Fuji International Symposium on Functional and Logic Programming}",
	pages         = "167--186",
	title         = "{Rewriting Logic for Cyclic Sharing Structures}",
	year          = 1998,
}