@inproceedings{conf/aaai/CohenBH92,
        title = {Computing Least Common Subsumers in Description Logics.},
        author = {William W. Cohen and Alexander Borgida and Haym Hirsh},
        booktitle = {AAAI},
        pages = {754-760},
        year = 1992,
        url = {http://dblp.uni-trier.de/db/conf/aaai/aaai92.html#CohenBH92},
        date = {2002-01-03},
	description = {dblp},
	biburl = {http://www.bibsonomy.org/bibtex/26aa7d6596633e6391a1bc5169cfadc97/thau},
	keywords = {reasoning disjunctive}
}

@inproceedings{borgida1989,
        title = {Hierarchical Knowledge Bases and Efficient Disjunctive Reasoning.},
        author = {Alexander Borgida and David W. Etherington},
        booktitle = {KR},
        pages = {33-43},
        year = 1989,
        url = {http://dblp.uni-trier.de/db/conf/kr/kr89.html#BorgidaE89},
        date = {2002-01-03},
	description = {dblp},
	biburl = {http://www.bibsonomy.org/bibtex/21acf29126947946b2cce566c5c32d1b5/thau},
	keywords = {reasoning disjunctive}
}