@inproceedings{15305,
  author       = {{Hüllermeier, Eyke}},
  booktitle    = {{in Proceedings IMACS Symposium on Systems Analysis and Simulation, Berlin}},
  pages        = {{401--404}},
  publisher    = {{Gordon and Breach Publishers}},
  title        = {{{Fuzzy polynomial and spline interpolation}}},
  year         = {{1995}},
}

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

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

@article{19814,
  author       = {{Flögel, A. and Kleine Büning, H. and Lettmann, Theodor}},
  issn         = {{0988-3754}},
  journal      = {{RAIRO - Theoretical Informatics and Applications}},
  pages        = {{327--340}},
  title        = {{{On the restricted equivalence for subclasses of propositional logic}}},
  doi          = {{10.1051/ita/1993270403271}},
  year         = {{1993}},
}

@techreport{19822,
  author       = {{Dahn, Bernd I. and Lettmann, Theodor and Schönfeld, Wolfgang}},
  publisher    = {{Wissenschaftliche Zentrum der IBM Deutschland }},
  title        = {{{ILFA Interface Concept}}},
  volume       = {{193}},
  year         = {{1991}},
}

@article{19818,
  author       = {{Kleine Büning, Hans and Lettmann, Theodor and Mayr, Ernst W.}},
  issn         = {{0304-3975}},
  journal      = {{Theoretical Computer Science}},
  pages        = {{343--350}},
  title        = {{{Projections of vector addition system reachability sets are semilinear}}},
  doi          = {{10.1016/0304-3975(89)90055-8}},
  year         = {{1989}},
}

@inproceedings{19820,
  author       = {{Kleine Büning, Hans and Lettmann, Theodor}},
  booktitle    = {{Workshop Wissensrepräsentation in Expertensystemen}},
  editor       = {{Rahmstorf, G.}},
  isbn         = {{9783540192169}},
  issn         = {{0343-3005}},
  pages        = {{56--78}},
  title        = {{{Perspektiven für die Logikprogrammierung}}},
  year         = {{1988}},
}

@inbook{19821,
  author       = {{Büning, Hans Kleine and Lettmann, Theodor}},
  booktitle    = {{Computation Theory and Logic}},
  editor       = {{Börger, Egon}},
  isbn         = {{9783540181705}},
  issn         = {{0302-9743}},
  pages        = {{208--223}},
  title        = {{{Representation independent query and update operations on propositional definite Horn formulas}}},
  doi          = {{10.1007/3-540-18170-9_167}},
  year         = {{1987}},
}

@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}},
}