@article {Cagman:30 May 1998:0304-3975:239,
	author = "Cagman N.",
	author = "Hindley J.R.",
	title = "Combinatory weak reduction in lambda calculus",
	journal = "Theoretical Computer Science",
	volume = "198",
	year = "30 May 1998",
	abstract = "",
	pages = "239-247(9)",
	url = "http://www.ingentaconnect.com/content/els/03043975/1998/00000198/00000001/art00250"
	doi = "doi:10.1016/S0304-3975(97)00250-8"
}