@INPROCEEDINGS{arec:hand03,
  author = {Areces, C. and Blackburn, P. and Martinez Hernandez, B. and Marx,
	M.},
  title = {Handling Boolean ABoxes},
  booktitle = {Proceedings of the 2003 International Workshop on Description Logics
	(DL2003)},
  year = {2003},
  editor = {Calvanese, D. and De Giacomo, G. and Franconi, E.},
  volume = {81},
  series = {CEUR - Workshop Proceedings},
  address = {Rome, Italy},
  month = {September},
}