@inproceedings{f1c2a35f10ec4f87a434c8595a340afd,
title = "Disjunctive constraint lambda calculi",
author = "Matthias Holzl and Crossley, {John Newsome}",
year = "2005",
doi = "10.1007/11591191_6",
language = "English",
volume = "3835",
pages = "64 -- 78",
editor = "Geoff Sutcliffe and Andrei Voronkov",
booktitle = "Proceedings of the 12th International Conference on Logic Programming, Artificial Intelligence, and Reasoning (LPAR 2005)",
publisher = "Springer-Verlag London Ltd.",
address = "Germany",
note = "International Conference on Logic Programming and Automated Reasoning 2005, LPAR 2005 ; Conference date: 01-01-2005",
}