@inproceedings {5070,
	title = {Binary Absorption in Tableaux-Based Reasoning for Description Logics},
	booktitle = {International Workshop on Description Logics (DL)},
	year = {2006},
	url = {http://ceur-ws.org/Vol-189/submission_34.pdf},
	author = {Alexander K. Hudek and Grant Weddell}
}
