@inproceedingsStein_Niggemann_Lettmann_2006, title=Speeding Up Model-based Diagnosis by a Heuristic Approach to Solving SAT, booktitle=AIA ’06: Proceedings of the 24th IASTED International Conference on Artificial Intelligence and Applications, author=Stein, Benno and Niggemann, Oliver and Lettmann, Theodor, year=2006, pages=273--278 
LibreCat: /record/3327

@articleKleine Büning_Lettmann_1999, title=Resolution remains hard under equivalence, DOI=10.1016/s0166-218x(99)00055-4, journal=Discrete Applied Mathematics, author=Kleine Büning, Hans and Lettmann, Theodor, year=1999, pages=139–148 
LibreCat: /record/19815
DOI: 10.1016/s0166-218x(99)00055-4

@bookLettmann_Kleine Büning_1999, series=Cambridge tracts in theoretical computer science, title=Propositional Logicf: Deduction and Algorithms, publisher=Cambridge Univ. Press, author=Lettmann, Theodor and Kleine Büning, Hans, year=1999, collection=Cambridge tracts in theoretical computer science 
LibreCat: /record/3339

@inbookKleine Büning_Lettmann_1996, place=Berlin, Heidelberg, title=Learning a representation for optimizable formulas, DOI=10.1007/3-540-61863-5_33, booktitle=Lecture Notes in Computer Science, author=Kleine Büning, Hans and Lettmann, Theodor, year=1996 
LibreCat: /record/19816
DOI: 10.1007/3-540-61863-5_33

@bookKleine Büning_Lettmann_1994, series=Leitfäden und Monographien der Informatik, title=Aussagenlogik - Deduktion und Algorithmen, DOI=10.1007/978-3-322-84809-3, publisher=Teubner, author=Kleine Büning, Hans and Lettmann, Theodor, year=1994, collection=Leitfäden und Monographien der Informatik 
LibreCat: /record/3333
DOI: 10.1007/978-3-322-84809-3

@articleFlögel_Kleine Büning_Lettmann_1993, title=On the restricted equivalence for subclasses of propositional logic, DOI=10.1051/ita/1993270403271, journal=RAIRO - Theoretical Informatics and Applications, author=Flögel, A. and Kleine Büning, H. and Lettmann, Theodor, year=1993, pages=327–340 
LibreCat: /record/19814
DOI: 10.1051/ita/1993270403271

@bookDahn_Lettmann_Schönfeld_1991, place=´Heidelberg, series=IWBS Report, title=ILFA Interface Concept, volume=193, publisher=Wissenschaftliche Zentrum der IBM Deutschland , author=Dahn, Bernd I. and Lettmann, Theodor and Schönfeld, Wolfgang, year=1991, collection=IWBS Report 
LibreCat: /record/19822

@articleKleine Büning_Lettmann_Mayr_1989, title=Projections of vector addition system reachability sets are semilinear, DOI=10.1016/0304-3975(89)90055-8, journal=Theoretical Computer Science, author=Kleine Büning, Hans and Lettmann, Theodor and Mayr, Ernst W., year=1989, pages=343–350 
LibreCat: /record/19818
DOI: 10.1016/0304-3975(89)90055-8

@inproceedingsKleine Büning_Lettmann_1988, place=Berlin, Heidelberg, title=Perspektiven für die Logikprogrammierung, booktitle=Workshop Wissensrepräsentation in Expertensystemen, author=Kleine Büning, Hans and Lettmann, Theodor, editor=Rahmstorf, G.Editor, year=1988, pages=56–78 
LibreCat: /record/19820

@inbookBüning_Lettmann_1987, place=Berlin, Heidelberg, title=Representation independent query and update operations on propositional definite Horn formulas, DOI=10.1007/3-540-18170-9_167, booktitle=Computation Theory and Logic, author=Büning, Hans Kleine and Lettmann, Theodor, editor=Börger, EgonEditor, year=1987, pages=208–223 
LibreCat: /record/19821
DOI: 10.1007/3-540-18170-9_167

@inbookKleine Büning_Lettmann_1986, place=Berlin, Heidelberg, title=Classes of first order formulas under various satisfiability definitions, DOI=10.1007/3-540-16780-3_119, booktitle=8th International Conference on Automated Deduction, author=Kleine Büning, H. and Lettmann, Theodor, year=1986 
LibreCat: /record/19819
DOI: 10.1007/3-540-16780-3_119