@inproceedings{DBLP:conf/ipmu/Coupey92,
author = {Pascal Coupey},
title = {Default Exclusion in a KL-ONE-like Terminological Component},
booktitle = {IPMU},
year = {1992},
pages = {23-32},
ee = {http://dx.doi.org/10.1007/3-540-56735-6_40},
crossref = {DBLP:conf/ipmu/1992},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/ipmu/1992,
editor = {Bernadette Bouchon-Meunier and
Lloren\c{c} Valverde and
Ronald R. Yager},
title = {IPMU '92 - Advanced Methods in Artificial Intelligence,
4th International Conference on Processing and Management
of Uncertainty in Knowledge-Based Systems, Palma de Mallorca,
Spain, July 6-10, 1992, Proceedings},
booktitle = {IPMU},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {682},
year = {1993},
isbn = {3-540-56735-6},
bibsource = {DBLP, http://dblp.uni-trier.de}
}