@InProceedings{thielscher:FROCOS09b,
  author =	"Franz Baader and Conrad Drescher and Hongkai Liu and
		Uwe Petersohn and Peter Steinke and Michael Thielscher",
  title =	"Putting {ABox} Update into Action",
  year =	2009,
  booktitle =	"Proceedings of the International Conference on Frontiers
		of Combining Systems (FroCoS)",
  editor =	"S.\ Ghilardi and R.\ Sebastiani",
  pages =	"214-229",
  volume =	"5749",
  series =	"LNCS",
  publisher =	"Springer",
  address =	"Trento, Italy"
}