Weydert, E.: Plausible Inference for Default Conditionals. In: Symbolic and Quantitative Approaches to Reasoning and Uncertainty, S. 356 - 363 (Hg. Clarke, M.; Kruse, R.; Moral, S.). European Conferences on Symbolic and Quantitative Approaches to Reasoning with Uncertainty, Granada, Spain, 08. November 1993 - 10. November 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. Diplom, X, 127 S., 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 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.

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

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

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

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

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

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

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