@inproceedings{609, author = {Alexander Hudek and Grant Weddell}, title = {Binary Absorption in Tableaux-Based Reasoning for Description Logics}, year = {2006}, journal = {Binary Absorption in Tableaux-Based Reasoning for Description Logics}, url = {http://ceur-ws.org/Vol-189/submission_34.pdf}, }