@TechReport{LTCS-Report09-01,
  author =       {Conrad Drescher and Hongkai Liu and Franz Baader and Steffen Guhlemann and Uwe Petersohn and Peter Steinke and Michael Thielscher},
  title =        {Putting ABox Updates into Action},
  institution =  {Chair for Automata Theory, Institute for Theoretical
                  Computer Science, Dresden University of Technology},
  year =         2009,
  type =         {LTCS-Report},
  number =       {09-01},
  address =      {Germany},
  note =         {See http://lat.inf.tu-dresden.de/research/reports.html.},

}