@article {Dougherty:6 March 1995:0304-3975:207,
	author = "Dougherty D.J.",
	author = "Johann P.",
	title = "A combinatory logic approach to higher-order E-unification",
	journal = "Theoretical Computer Science",
	volume = "139",
	year = "6 March 1995",
	abstract = "",
	pages = "207-242(36)",
	url = "http://www.ingentaconnect.com/content/els/03043975/1995/00000139/00000001/art00210"
	doi = "doi:10.1016/0304-3975(94)00210-A"
}