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