Hustadt, U.; Nonnengart, A.; Schmidt, R. A.; Timm, J.-G.: Motel user manual. Max-Planck-Institut für Informatik, Saarbrücken (1992), 45 S.

Kraan, I.; Basin, D. A.; Bundy, A.: Logic program synthesis via proof planning. Max-Planck-Institut für Informatik, Saarbrücken (1992), 14 S.

Krithivasan, K.; Vanisree, R.; Datta, A.: The largest hyper-rectangle in a three dimensional orthogonal polyhedron. Max-Planck-Institut für Informatik, Saarbrücken (1992), 7 S.

Lenhof, H.-P.; Smid, M.: Sequential and parallel algorithms for the k closest pairs problem. Max-Planck-Institut für Informatik, Saarbrücken (1992), 18 S.

Lenhof, H.-P.; Smid, M.: Maintaining the visibility map of spheres while moving the viewpoint on a circle at infinity. Max-Planck-Institut für Informatik, Saarbrücken (1992), 16 S.

Matthews, S.: Reflection in logical systems. Max-Planck-Institut für Informatik, Saarbrücken (1992), 14 S.

Matthews, S.; Smaill, A.; Basin, D.: Experience with FS0 as a framework theory. Max-Planck-Institut für Informatik, Saarbrücken (1992), 25 S.

Mehlhorn, K.; Meiser, S.; Rasch, R.: Furthest Site Abstract Voronoi Diagrams. Max-Planck-Institut für Informatik, Saarbrücken (1992), 25 S.

Mehlhorn, K.; Uhrig, C.; Raman, R.: Lower bound for set intersection queries. Max-Planck-Institut für Informatik, Saarbrücken (1992), 14 S.

Nieuwenhuis, R.: A new ordering constraint solving method and its applications. Max-Planck-Institut für Informatik, Saarbrücken (1992), 12 S.

Nonnengart, A.: First-order modal logic theorem proving and standard PROLOG. Max-Planck-Institut für Informatik, Saarbrücken (1992), 48 S.

Ohlbach, H. J.: Preprints of Proceedings of GWAI-92. Max-Planck-Institut für Informatik, Saarbrücken (1992), 47 S.

Rüb, C.: Computing intersections and arrangements for red-blue curve segments in parallel. Max-Planck-Institut für Informatik, Saarbrücken (1992), 30 S.

Schmidt, R. A.: Terminological representation, natural language & relation algebra. Max-Planck-Institut für Informatik, Saarbrücken (1992), 13 S.

Schwarz, C.: Semi-dynamic maintenance of the width of a planar point set. Max-Planck-Institut für Informatik, Saarbrücken (1992), 14 S.

Smid, M.: Finding k points with a smallest enclosing square. Max-Planck-Institut für Informatik, Saarbrücken (1992), 8 S.

Smid, M.; Gupta, P.: Further results on generalized intersection searching problems: counting, reporting, and dynamization. Max-Planck-Institut für Informatik, Saarbrücken (1992), 41 S.

Smid, M.; Lenhof, H.-P.: Enumerating the k closest pairs mechanically. Max-Planck-Institut für Informatik, Saarbrücken (1992), 12 S.

Socher-Ambrosius, R.: Completeness of resolution and superposition calculi. Max-Planck-Institut für Informatik, Saarbrücken (1992), 9 S.

Socher-Ambrosius, R.: Semi-unification. Max-Planck-Institut für Informatik, Saarbrücken (1992), 10 S.