---
_id: '19819'
author:
- first_name: H.
  full_name: Kleine Büning, H.
  last_name: Kleine Büning
- first_name: Theodor
  full_name: Lettmann, Theodor
  id: '315'
  last_name: Lettmann
  orcid: 0000-0001-5859-2457
citation:
  ama: 'Kleine Büning H, Lettmann T. Classes of first order formulas under various
    satisfiability definitions. In: <i>8th International Conference on Automated Deduction</i>.
    Berlin, Heidelberg; 1986. doi:<a href="https://doi.org/10.1007/3-540-16780-3_119">10.1007/3-540-16780-3_119</a>'
  apa: Kleine Büning, H., &#38; Lettmann, T. (1986). Classes of first order formulas
    under various satisfiability definitions. In <i>8th International Conference on
    Automated Deduction</i>. Berlin, Heidelberg. <a href="https://doi.org/10.1007/3-540-16780-3_119">https://doi.org/10.1007/3-540-16780-3_119</a>
  bibtex: '@inbook{Kleine Büning_Lettmann_1986, place={Berlin, Heidelberg}, title={Classes
    of first order formulas under various satisfiability definitions}, DOI={<a href="https://doi.org/10.1007/3-540-16780-3_119">10.1007/3-540-16780-3_119</a>},
    booktitle={8th International Conference on Automated Deduction}, author={Kleine
    Büning, H. and Lettmann, Theodor}, year={1986} }'
  chicago: Kleine Büning, H., and Theodor Lettmann. “Classes of First Order Formulas
    under Various Satisfiability Definitions.” In <i>8th International Conference
    on Automated Deduction</i>. Berlin, Heidelberg, 1986. <a href="https://doi.org/10.1007/3-540-16780-3_119">https://doi.org/10.1007/3-540-16780-3_119</a>.
  ieee: H. Kleine Büning and T. Lettmann, “Classes of first order formulas under various
    satisfiability definitions,” in <i>8th International Conference on Automated Deduction</i>,
    Berlin, Heidelberg, 1986.
  mla: Kleine Büning, H., and Theodor Lettmann. “Classes of First Order Formulas under
    Various Satisfiability Definitions.” <i>8th International Conference on Automated
    Deduction</i>, 1986, doi:<a href="https://doi.org/10.1007/3-540-16780-3_119">10.1007/3-540-16780-3_119</a>.
  short: 'H. Kleine Büning, T. Lettmann, in: 8th International Conference on Automated
    Deduction, Berlin, Heidelberg, 1986.'
date_created: 2020-10-01T08:56:14Z
date_updated: 2022-01-06T06:54:13Z
department:
- _id: '34'
- _id: '355'
- _id: '7'
doi: 10.1007/3-540-16780-3_119
language:
- iso: eng
place: Berlin, Heidelberg
publication: 8th International Conference on Automated Deduction
publication_identifier:
  isbn:
  - '9783540167808'
  - '9783540398615'
  issn:
  - 0302-9743
  - 1611-3349
publication_status: published
status: public
title: Classes of first order formulas under various satisfiability definitions
type: book_chapter
user_id: '315'
year: '1986'
...