@inproceedings{FLOPS-1998-Nedjah,
	author        = "Nadia Nedjah",
	booktitle     = "{Fuji International Symposium on Functional and Logic Programming}",
	pages         = "40--60",
	title         = "{Postponing Redex Contractions in Equational Programs}",
	year          = 1998,
}