Fuzzy polynomial and spline interpolation - Hüllermeier, Eyke (in Proceedings IMACS Symposium on Systems Analysis and Simulation, Berlin)

Konjunkturzyklen aufgrund von Investitionsinterdependenzen: Simulation und empirische Überprüfung - Hüllermeier, Eyke (Moderne Makroökonomie-Eine kritische Bestandsaufnahme)

Approximate solution of a linear programming problem using a modified perceptron-algorithm. - Hüllermeier, Eyke (in Proceedings EUFIT-94 2nd European Congress on Intelligent Techniques and Soft Computing, Aachen, Germany)

On the restricted equivalence for subclasses of propositional logic - Flögel, A.; Kleine Büning, H.; Lettmann, Theodor (RAIRO - Theoretical Informatics and Applications)

ILFA Interface Concept - Dahn, Bernd I.; Lettmann, Theodor; Schönfeld, Wolfgang

Projections of vector addition system reachability sets are semilinear - Kleine Büning, Hans; Lettmann, Theodor; Mayr, Ernst W. (Theoretical Computer Science)

Perspektiven für die Logikprogrammierung - Kleine Büning, Hans; Lettmann, Theodor (Workshop Wissensrepräsentation in Expertensystemen)

Representation independent query and update operations on propositional definite Horn formulas - Büning, Hans Kleine; Lettmann, Theodor (Computation Theory and Logic)

Classes of first order formulas under various satisfiability definitions - Kleine Büning, H.; Lettmann, Theodor (8th International Conference on Automated Deduction)