@inproceedings{AUFROCOS09,
  title = "Putting ABox Updates into Action",
  author = "Conrad Drescher and Hongkai Liu and Franz Baader and Steffen Guhlemann and Uwe Petersohn and Peter Steinke and Michael Thielscher",
  year = "2009",
  address = "Trento, Italy",
  booktitle = "Proceedings of the Seventh International Symposion on Frontiers of Combining Systems (FroCoS 2009)",
}