@inbook{19819,
  author       = {{Kleine Büning, H. and Lettmann, Theodor}},
  booktitle    = {{8th International Conference on Automated Deduction}},
  isbn         = {{9783540167808}},
  issn         = {{0302-9743}},
  title        = {{{Classes of first order formulas under various satisfiability definitions}}},
  doi          = {{10.1007/3-540-16780-3_119}},
  year         = {{1986}},
}