@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 }
}

@inproceedings{Ryan97,
	title = {Enhanced reality fieldwork: the context-aware archaeological assistant.},
	author = {N. Ryan and J. Pascoe and D. Morse},
	booktitle = {Computer Applications and Quantitative Methods in Archaeology (CAA
	97), Oxford},
	editor = {V. Gaffney and M. van Leusen and S. Exxon},
	url = {http://www.cs.ukc.ac.uk/research/infosys/mobicomp/Fieldwork/Papers/CAA97/ERFldwk.html},
	year = {1997},
	biburl = {http://www.bibsonomy.org/bibtex/2266bc8e0ae5db3b0e14ab26a9d9604e4/aschmidt},
	keywords = {context }
}

@inproceedings{conf/konvens/GardentKL96,
	title = {Corrections and Higher-Order Unification.},
	author = {Claire Gardent and Michael Kohlhase and Noor van Leusen},
	booktitle = {KONVENS},
	crossref = {conf/konvens/1996},
	editor = {Dafydd Gibbon},
	pages = {268-279},
	publisher = {de Gruyter},
	url = {http://dblp.uni-trier.de/db/conf/konvens/konvens1996.html#GardentKL96},
	year = {1996},
	biburl = {http://www.bibsonomy.org/bibtex/24873c42798bb76f58a274bed799b133b/dblp},
	description = {dblp},
	isbn = {3-11-015449-8}, date = {2002-09-16},
	keywords = {dblp }
}