Binary absorption in tableauxbased reasoning for description logics. (2006)

by Alexander K Hudek, Grant E Weddell
Venue:In Description Logics, volume 189 of CEUR Workshop Proceedings. CEUR-WS.org,