Fleischer, R.; Mehlhorn, K.; Rote, G.; Welzl, E.; Yap, C.-K.: On Simultaneous Inner and Outer Approximation of Shapes. In: Computational geometry (SCG-90): 6th annual symposium, pp. 216 - 224. Untitled Event, Berkeley, USA, June 06, 1990. ACM, New York, USA (1990)

Hanus, M.: Logic Programs with Equational Type Specifications. In: Algebraic and Logic Programming, pp. 70 - 85 (Eds. Kirchner, H.; Wechler, W.). Second International Conference on Algebraic and Logic Programming, Nancy, France, October 01, 1990 - October 03, 1990. Springer, Berlin (1990)

Hanus, M.: A Functional and Logic Language with Polymorphic Types. In: Design and Implementation of Symbolic Computation Systems, pp. 215 - 224 (Ed. Miola, A.). International Symposium on Design and Implementation of Symbolic Computation Systems, Capri, Italy, April 10, 1990 - April 12, 1990. Springer, Berlin (1990)

Hanus, M.: Compiling Logic Programs with Equality. In: Programming Language Implementation and Logic Programming, pp. 387 - 401 (Eds. Deransart, P.; Maluszyński, J.). Second International Workshop on Programming Language Implementation and Logic Programming, Linköping, Sweden, August 20, 1990 - August 22, 1990. Springer, Berlin (1990)

Klein, R.; Mehlhorn, K.; Meiser, S.: On the Construction of Abstract Voronoi Diagrams, II. In: Algorithms (ISA-90): 1st international symposium (SIGAL-90), pp. 138 - 154. Untitled Event, Tokyo, Japan, August 16, 1990. Springer, Berlin, Germany (1990)

Mehlhorn, K.; Meiser, S.; Ó'Dúnlaing, C.: On the Construction of Abstract Voronoi Diagrams. In: Theoretical aspects of computer science (STACS-90): 7th annual symposium, pp. 227 - 239. Untitled Event, Rouen, France, February 22, 1990. Springer, Berlin, Germany (1990)

Näher, S.; Mehlhorn, K.: LEDA: A Library of Efficient Data Types and Algorithms. In: Automata, languages and programming (ICALP-90): 17th international colloquium, pp. 1 - 5. Untitled Event, Warwick University, England, July 16, 1990. Springer, Berlin, Germany (1990)

Näher, S.; Mehlhorn, K.: LEDA - A Library of Efficient Data Types and Algorithms. In: GI - 20. Jahrestagung I, Informatik auf dem Weg zum Anwender, pp. 35 - 39. Untitled Event, Stuttgart, Germany, October 08, 1990. Springer, Berlin, Germany (1990)

Slusallek, P.; Seidel, H.-P.: TRIMO A Workstation-Based Interactive System for the Generation, Manipulation, and Display of Surfaces over Arbitrary Topological Meshes. In: Proceedings of the 11th European Computer Graphics Conference and Exhibition, pp. 147 - 158 (Eds. Vandoni, C. E.; Duce, D. A.). 11th European Computer Graphics Conference and Exhibition, Montreux, Switzerland, September 04, 1990 - September 07, 1990. North-Holland / Eurographics Association, Amsterdam (1990)

Weidenbach, C.; Ohlbach, H. J.: A Resolution Calculus with Dynamic Sort Structures and Partial Functions. In: Proceedings of the 9th European Conference on Artificial Intelligence, pp. 688 - 693 (Ed. Carlucci Aiello, L.). 9th European Conference on Artificial Intelligence, Stockholm Sweden, 1990-01. Pitman Publishing, Inc., St. Marshfield, MA (1990)

Baumeister, H.: Über die Stabilität parameterisierter algebraischer Spezifikationen. Master, Universität Dortmund, Dortmund (1990)

Mehlhorn, K.; Näher, S.; Uhrig, C.: Hidden line elimination for isooriented rectangles. Fachbereich Informatik, Universität des Saarlandes, Saarbrücken (1990)

Cheriyan, J.; Hagerup, T.; Mehlhorn, K.: Can a maximum flow be computed in $o(nm)$ time?, (1990)