@article{journals/corr/cmp-lg-9609001,
	title = {Corrections and Higher-Order Unification},
	author = {Claire Gardent and Michael Kohlhase and Noor van Leusen},
	journal = {CoRR},
	note = {informal publication},
	url = {http://dblp.uni-trier.de/db/journals/corr/corr9609.html#cmp-lg-9609001},
	volume = {cmp-lg/9609001},
	year = {1996},
	biburl = {http://www.bibsonomy.org/bibtex/29b1b32bb5f827c4668a1971988601bbf/dblp},
	description = {dblp},
	ee = {http://arxiv.org/abs/cmp-lg/9609001}, date = {2008-01-02},
	keywords = {dblp }
}