@inproceedings{SAC-2000-OgataF,
	author        = "Kazuhiro Ogata and Kokichi Futatsugi",
	booktitle     = "{Proceedings of the 15th Symposium on Applied Computing}",
	pages         = "756--764",
	publisher     = "{ACM}",
	title         = "{Operational Semantics of Rewriting with the On-demand Evaluation Strategy}",
	volume        = 2,
	year          = 2000,
}