@article {3961,
	title = {Absorption for ABoxes},
	journal = {Journal of Automated Reasoning},
	volume = {53},
	year = {2014},
	pages = {215--243},
	doi = {10.1007/s10817-014-9304-2},
	author = {Jiewen Wu and Alexander K. Hudek and David Toman and Grant Weddell}
}
