Plaisted, D.: Ordered semantic hyper-linking. Max-Planck-Institut für Informatik, Saarbrücken (1994), 22 S.

Plaisted, D.: The search efficiency of theorem proving strategies: an analytical comparison. Max-Planck-Institut für Informatik, Saarbrücken (1994), 40 S.

Plaisted, D.: An abstract program generation logic. Max-Planck-Institut für Informatik, Saarbrücken (1994), 58 S.

Schömer, E.; Thiel, C.: Efficient collision detection for moving polyhedra. Max-Planck-Institut für Informatik, Saarbrücken (1994), 24 S.

Sibeyn, J. F.: Desnakification of mesh sorting algorithms. Max-Planck-Institut für Informatik, Saarbrücken (1994), 21 S.

Simpson, A. K.: Reflection using the derivability conditions. Max-Planck-Institut für Informatik, Saarbrücken (1994), 14 S.

Smid, M.: Lecture notes selected topics in data structures. Max-Planck-Institut für Informatik, Saarbrücken (1994), 76 S.

Smid, M.; Janardan, R.: On the Width and Roundness of a Set of Points in the Plane. Max-Planck-Institut für Informatik, Saarbrücken (1994), 14 S.

Vorobyov, S.: Structural decidable extensions of bounded quantification. Max-Planck-Institut für Informatik, Saarbrücken (1994), 12 S.

Weidenbach, C.: Minimal resolution. Max-Planck-Institut für Informatik, Saarbrücken (1994), 20 S.

Antoy, S.; Echahed, R.; Hanus, M.: A needed narrowing strategy. Max-Planck-Institut für Informatik, Saarbrücken (1993), 28 S.

Bachmair, L.; Ganzinger, H.: Associative-commutative superposition. Max-Planck-Institut für Informatik, Saarbrücken (1993)

Bachmair, L.; Ganzinger, H.: Ordered chaining for total orderings. Max-Planck-Institut für Informatik, Saarbrücken (1993), 20 S.

Bachmair, L.; Ganzinger, H.: Rewrite techniques for transitive relations. Max-Planck-Institut für Informatik, Saarbrücken (1993), 19 S.

Bachmair, L.; Ganzinger, H.; Lynch, C.; Snyder, W.: Basic paramodulation. Max-Planck-Institut für Informatik, Saarbrücken (1993), 36 S.

Basin, D.; Bundy, A.; Kraan, I.; Matthews, S.: A framework for program development based on schematic proof. Max-Planck-Institut für Informatik, Saarbrücken (1993), 12 S.

Basin, D. A.; Kraan, I.; Bundy, A.: Middle-out reasoning for logic program synthesis. Max-Planck-Institut für Informatik, Saarbrücken (1993), 12 S.

Basin, D.; Matthews, S.: A conservative extension of first-order logic and its application to theorem proving. Max-Planck-Institut für Informatik, Saarbrücken (1993), 11 S.

Bast, H.; Hagerup, T.: Fast parallel space allocation, estimation and integer sorting (revised). Max-Planck-Institut für Informatik, Saarbrücken (1993), 85 S.

Bilardi, G.; Chaudhuri, S.; Dubhashi, D. P.; Mehlhorn, K.: A lower bound for area-universal graphs. Max-Planck-Institut für Informatik, Saarbrücken (1993), 7 S.