Weydert, E.: Plausible Inference for Default Conditionals. In: Symbolic and Quantitative Approaches to Reasoning and Uncertainty, pp. 356 - 363 (Eds. Clarke, M.; Kruse, R.; Moral, S.). European Conferences on Symbolic and Quantitative Approaches to Reasoning with Uncertainty, Granada, Spain, November 08, 1993 - November 10, 1993. Springer, Berlin (1993)

Ohlbach, H. J.: Thema der Antrittsvorlesung: Transformation logischer Systeme. Habilitation, Universität des Saarlandes, Saarbrücken (1993)

Portz, S.: Darstellung und Implementierung polynomieller und streng polynomieller Algorithmen für das Minimum-Cost-Flow-Problem. Diploma, X, 127 pp., Universität des Saarlandes, Saarbrücken (1993)

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

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

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

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

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

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

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

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

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

Bockmayr, A.; Krischer, S.; Werner, A.: Narrowing strategies for arbitrary canonical rewrite systems. Max-Planck-Institut für Informatik, Saarbrücken (1993), 29 pp.

Bockmayr, A.; Radermacher, F. J.: Künstliche Intelligenz und Operations Research. Max-Planck-Institut für Informatik, Saarbrücken (1993), 36 pp.

Borchert, B.; Ranjan, D.: The circuit subfunction relations are $sum^P_2$-complete. Max-Planck-Institut für Informatik, Saarbrücken (1993), 14 pp.

Brink, C.; Gabbay, D. M.; Ohlbach, H. J.: Towards automating duality. Max-Planck-Institut für Informatik, Saarbrücken (1993), 50 pp.

Charatonik, W.; Pacholski, L.: Negative set constraints: an easy proof of decidability. Max-Planck-Institut für Informatik, Saarbrücken (1993), 11 pp.

Chaudhuri, S.: A lower bound for linear approximate compaction. Max-Planck-Institut für Informatik, Saarbrücken (1993), 12 pp.

Chaudhuri, S.: Sensitive functions and approximate problems. Max-Planck-Institut für Informatik, Saarbrücken (1993), 8 pp.