@article {Tronci:10 June 1996:0304-3975:185,
	author = "Tronci E.",
	title = "Equational programming in lambda-calculus via SL-systems. Part 2",
	journal = "Theoretical Computer Science",
	volume = "160",
	year = "10 June 1996",
	abstract = "",
	pages = "185-216(32)",
	url = "http://www.ingentaconnect.com/content/els/03043975/1996/00000160/00000001/art00106"
	doi = "doi:10.1016/0304-3975(95)00106-9"
}