book chapter published H. Kleine Büning author Theodor Lettmann author 3150000-0001-5859-2457 34 department 355 department 7 department 1986 eng 0302-9743 1611-3349 9783540167808 978354039861510.1007/3-540-16780-3_119 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. 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> 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>. H. Kleine Büning, T. Lettmann, in: 8th International Conference on Automated Deduction, Berlin, Heidelberg, 1986. 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>. @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} } 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> 198192020-10-01T08:56:14Z2022-01-06T06:54:13Z