@inbook{19821,
  author       = {{Büning, Hans Kleine and Lettmann, Theodor}},
  booktitle    = {{Computation Theory and Logic}},
  editor       = {{Börger, Egon}},
  isbn         = {{9783540181705}},
  issn         = {{0302-9743}},
  pages        = {{208--223}},
  title        = {{{Representation independent query and update operations on propositional definite Horn formulas}}},
  doi          = {{10.1007/3-540-18170-9_167}},
  year         = {{1987}},
}