Title | Binary Absorption in Tableaux-Based Reasoning for Description Logics |
Publication Type | Conference Paper |
Year of Publication | 2006 |
Authors | Hudek, A. K., and G. Weddell |
Conference Name | International Workshop on Description Logics (DL) |
URL | http://ceur-ws.org/Vol-189/submission_34.pdf |