Title | Absorption for ABoxes |
Publication Type | Journal Article |
Year of Publication | 2014 |
Authors | Wu, J., A. K. Hudek, D. Toman, and G. Weddell |
Journal | Journal of Automated Reasoning |
Volume | 53 |
Issue | 3 |
Pagination | 215--243 |
DOI | 10.1007/s10817-014-9304-2 |