Hanus, M.: An abstract interpretation algorithm for residuating logic programs. Max-Planck-Institut für Informatik, Saarbrücken (1992), 20 pp.

Hustadt, U.: Unification and matching in Church's Original Lambda Calculus. Max-Planck-Institut für Informatik, Saarbrücken (1992), 16 pp.

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

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

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 pp.

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 pp.

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 pp.

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

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

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

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

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

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

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

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

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

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

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

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 pp.

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