@inproceedingsMohr_Lettmann_Hüllermeier_Wever_2018, title=Programmatic Task Network Planning, booktitle=Proceedings of the 1st ICAPS Workshop on Hierarchical Planning, publisher=AAAI, author=Mohr, Felix and Lettmann, Theodor and Hüllermeier, Eyke and Wever, Marcel Dominik, year=2018, pages=31–39 

@inproceedingsJakobs_Krämer_van Straaten_Lettmann_2017, title=Certiû01cation Matters for Service Markets, booktitle=The Ninth International Conferences on Advanced Service Computing (SERVICE COMPUTATION), author=Jakobs, Marie-Christine and Krämer, Julia and van Straaten, Dirk and Lettmann, Theodor, editor=Marcelo De Barros, Janusz Klink,Tadeus Uhl, Thomas PrinzEditor, year=2017, pages=7–12 

@inproceedingsMohr_Lettmann_Hüllermeier_2017, title=Planning with Independent Task Networks, DOI=10.1007/978-3-319-67190-1_15, booktitle=Proc. 40th Annual German Conference on Advances in Artificial Intelligence (KI 2017), author=Mohr, Felix and Lettmann, Theodor and Hüllermeier, Eyke, year=2017, pages=193–206 

@inproceedingsMohr_Lettmann_Kleine Büning_2013, title=Reducing Nondeterminism in Automated Service Composition, DOI=10.1109/SOCA.2013.25, booktitle=Proceedings of the 6th International Conference on Service Oriented Computing and Applications (SOCA), author=Mohr, Felix and Lettmann, Theodor and Kleine Büning, Hans, year=2013, pages=154–161 

@articleLettmann_Baumann_Eberling_Kemmerich_2011, title=Modeling Agents and Agent Systems, DOI=10.1007/978-3-642-24016-4_9, journal=Transactions on Computational Collective Intelligence V, publisher=Springer Berlin Heidelberg, author=Lettmann, Theodor and Baumann, Michael and Eberling, Markus and Kemmerich, Thomas, year=2011, pages=157–181 

@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 

@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 

@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 

@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 

@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 

@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 

@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 

@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 

@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 

@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 

@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