Carlos Areces, Patrick Blackburn, Bernadette MartÃnez Hernández, Maarten Marx. Handling Boolean A Boxes. In Diego Calvanese, Giuseppe De Giacomo, Enrico Franconi, editors, Proceedings of the 2003 International Workshop on Description Logics (DL2003), Rome, Italy September 5-7, 2003. Volume 81 of CEUR Workshop Proceedings, CEUR-WS.org, 2003. [doi]
Abstract is missing.