@inproceedingsHüllermeier_1995, title=Fuzzy polynomial and spline interpolation, booktitle=in Proceedings IMACS Symposium on Systems Analysis and Simulation, Berlin, publisher=Gordon and Breach Publishers, author=Hüllermeier, Eyke, year=1995, pages=401–404 
LibreCat: /record/15305

@inbookHüllermeier_1995, title=Konjunkturzyklen aufgrund von Investitionsinterdependenzen:  Simulation und empirische Überprüfung, booktitle=Moderne Makroökonomie-Eine kritische Bestandsaufnahme, publisher=Metropolis, author=Hüllermeier, Eyke, editor=Flemmig, J.Editor, year=1995, pages=413–454 
LibreCat: /record/16236

@inproceedingsHüllermeier_1994, title=Approximate solution of a linear programming problem using a modified perceptron-algorithm., booktitle=in Proceedings EUFIT-94 2nd European Congress on Intelligent Techniques and Soft Computing, Aachen, Germany, author=Hüllermeier, Eyke, editor=Zimmermann, H.J.Editor, year=1994, pages=195–199 
LibreCat: /record/15296

@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