---
_id: '19821'
author:
- first_name: Hans Kleine
  full_name: Büning, Hans Kleine
  last_name: Büning
- first_name: Theodor
  full_name: Lettmann, Theodor
  id: '315'
  last_name: Lettmann
  orcid: 0000-0001-5859-2457
citation:
  ama: 'Büning HK, Lettmann T. Representation independent query and update operations
    on propositional definite Horn formulas. In: Börger E, ed. <i>Computation Theory
    and Logic</i>. Berlin, Heidelberg; 1987:208-223. doi:<a href="https://doi.org/10.1007/3-540-18170-9_167">10.1007/3-540-18170-9_167</a>'
  apa: Büning, H. K., &#38; Lettmann, T. (1987). Representation independent query
    and update operations on propositional definite Horn formulas. In E. Börger (Ed.),
    <i>Computation Theory and Logic</i> (pp. 208–223). Berlin, Heidelberg. <a href="https://doi.org/10.1007/3-540-18170-9_167">https://doi.org/10.1007/3-540-18170-9_167</a>
  bibtex: '@inbook{Büning_Lettmann_1987, place={Berlin, Heidelberg}, title={Representation
    independent query and update operations on propositional definite Horn formulas},
    DOI={<a href="https://doi.org/10.1007/3-540-18170-9_167">10.1007/3-540-18170-9_167</a>},
    booktitle={Computation Theory and Logic}, author={Büning, Hans Kleine and Lettmann,
    Theodor}, editor={Börger, EgonEditor}, year={1987}, pages={208–223} }'
  chicago: Büning, Hans Kleine, and Theodor Lettmann. “Representation Independent
    Query and Update Operations on Propositional Definite Horn Formulas.” In <i>Computation
    Theory and Logic</i>, edited by Egon Börger, 208–23. Berlin, Heidelberg, 1987.
    <a href="https://doi.org/10.1007/3-540-18170-9_167">https://doi.org/10.1007/3-540-18170-9_167</a>.
  ieee: H. K. Büning and T. Lettmann, “Representation independent query and update
    operations on propositional definite Horn formulas,” in <i>Computation Theory
    and Logic</i>, E. Börger, Ed. Berlin, Heidelberg, 1987, pp. 208–223.
  mla: Büning, Hans Kleine, and Theodor Lettmann. “Representation Independent Query
    and Update Operations on Propositional Definite Horn Formulas.” <i>Computation
    Theory and Logic</i>, edited by Egon Börger, 1987, pp. 208–23, doi:<a href="https://doi.org/10.1007/3-540-18170-9_167">10.1007/3-540-18170-9_167</a>.
  short: 'H.K. Büning, T. Lettmann, in: E. Börger (Ed.), Computation Theory and Logic,
    Berlin, Heidelberg, 1987, pp. 208–223.'
date_created: 2020-10-01T09:08:05Z
date_updated: 2022-01-06T06:54:13Z
department:
- _id: '34'
- _id: '355'
- _id: '7'
doi: 10.1007/3-540-18170-9_167
editor:
- first_name: Egon
  full_name: Börger, Egon
  last_name: Börger
language:
- iso: eng
page: 208-223
place: Berlin, Heidelberg
publication: Computation Theory and Logic
publication_identifier:
  isbn:
  - '9783540181705'
  - '9783540477952'
  issn:
  - 0302-9743
  - 1611-3349
publication_status: published
status: public
title: Representation independent query and update operations on propositional definite
  Horn formulas
type: book_chapter
user_id: '315'
year: '1987'
...