| 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 |
