Basin, D.; Giunchiglia, F.; Traverso, P.: Automating Meta-Theory Creation and System Extension. In: Trends in Artificial Intelligence, pp. 48 - 57 (Eds. Ardizzone, E.; Gaglio, S.; Sorbello, F.). 2nd Congress of the Italian Association for Artificial Intelligence, Palermo, Italy, October 29, 1991 - October 31, 1991. Springer, Berlin (1991)

Basin, D.; Howe, D.: Some Normalization Properties of Martin-Löf's Type Theory, and Applications. In: Theoretical Aspects of Computer Software, pp. 475 - 494 (Eds. Ito, T.; Meyer, A. R.). International Conference on Theoretical Aspects of Computer Software, Sendaj, Japan, September 24, 1991 - September 27, 1991. Springer, Berlin (1991)

Bast, H.; Hagerup, T.: Fast and Reliable Parallel Hashing. In: 3rd Annual ACM Symposium on Parallel Algorithms and Architectures (SPAA'91), pp. 50 - 61. Untitled Event, Hilton Head Island, South Carolina, USA, July 21, 2001 - July 25, 2001. ACM, New York, NY, USA (1991)

Baumeister, H.: Unifying Initial and Loose Semantics of Parameterized Specifications in an Arbitrary Institution. In: Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT '91), pp. 103 - 120 (Eds. Abramsky, S.; Maibaum, T. S. E.). Untitled Event, Brighton, UK, 1991. Springer, Berlin, Germany (1991)

Cunningham, J.; Gabbay, D. M.; Ohlbach, H. J.: Towards the MEDLAR Framework. In: ESPRIT '91 Conference Proceedings, pp. 822 - 841. Commission of the European Communities, Brussels, Belgium (1991)

Feldmann, A.; Sgall, J.; Teng, S.-H.: Dynamic Scheduling on Parallel Machines. In: Proceedings of the 32nd Annual Symposium on Foundations of Computer Science, pp. 111 - 120. 32nd Annual Symposium on Foundations of Computer Science, San Juan, Puerto Rico, October 01, 1991 - October 04, 1991. IEEE Computer Society, Los Alamitos, CA (1991)

Fleischer, R.; Jung, H.; Mehlhorn, K.: A Time-Randomness Tradeoff for Communication Complexity. In: Distributed Algorithms, 4th International Workshop, pp. 390 - 401. Untitled Event, Bari, Italy, September 24, 1990. Springer, Berlin, Germany (1991)

Hanus, M.: Efficient Implementation of Narrowing and Rewriting. In: Processing Declarative Knowledge, p. 344‒365 (Eds. Boley, H.; Richter, M.M.). Intern. Workshop on Processing Declarative Knowledge, Kaiserslautern, Germany, July 01, 1991 - July 03, 1991. Springer, Berlin (1991)

Hanus, M.: Parametric Order‐sorted Types in Logic Programming. In: TAPSOFT‐91, p. 181‒200 (Eds. Abramsky, S.; Maibaum, T.S.E.). International Joint Conference on Theory and Practice of Software Development, Brighton, UK, April 08, 1991 - April 12, 1991. Springer, Berlin (1991)

Krischer, S.; Bockmayr, A.: Detecting Redundant Narrowing Derivations by the LSE-SL Reducibility Test. In: Proceedings of the 4th International Conference on Rewriting Techniques and Applications (RTA '91), pp. 74 - 85 (Ed. Book, R.). Untitled Event, Como, Italy, 1991. Springer, Berlin, Germany (1991)

Lenhof, H.-P.; Smid, M.: An optimal construction method for generalized convex layers. In: ISA'91 Algorithms: 2nd International Symposium on Algorithms, pp. 349 - 363 (Eds. Hsu, W.L.; Lee, R.C.T.). Untitled Event, Taipei, Republic of China, December 16, 1991 - December 18, 1991. Springer, Berlin, Germany (1991)

Ohlbach, H. J.; Herzig, A.: Parameter Structures for Parametrized Modal Operators. In: Proc. Intern. Joint Conference on Artificial Intelligence (IJCAI'91), pp. 512 - 517 (Eds. Mylopoulos, J.; Reiter, R.). 12th International Joint Conference on Artificial Intelligence, Sydney, Australia, August 24, 1991 - August 30, 1991. Morgan Kaufmann, San Mateo, CA (1991)

Ohlbach, H. J.; Siekmann, J.: The Markgraf Karl Refutation Procedure. In: Computational Logic, Essays in Honor of Alan Robinson, pp. 41 - 112 (Eds. Lassez, J. L.; Plotkin, G.). MIT Press, Cambridge, Mass. (1991)

Waldmann, U.: Compatibility of Order-sorted Rewrite Rules. In: Conditional and Typed Rewriting Systems, pp. 407 - 416 (Eds. Kaplan, S.; Okada, M.). Second International CTRS Workshop, Montreal, Canada, June 11, 1990 - June 14, 1990. Springer, Berlin (1991)

Reinold, M.: Transformation in dichten Wäldern. Master, Universität des Saarlandes, Saarbrücken (1991)

Bachmair, L.: Associative-commutative reduction orderings. Max-Planck-Institut für Informatik, Saarbrücken (1991), 7 pp.

Bachmair, L.; Ganzinger, H.: Rewrite-based equational theorem proving with selection and simplification. Max-Planck-Institut für Informatik, Saarbrücken (1991), 24 pp.

Bockmayr, A.: Logic programming with pseudo-Boolean constraints. Max-Planck-Institut für Informatik, Saarbrücken (1991), 20 pp.

Cheriyan, J.; Hagerup, T.; Mehlhorn, K.: An o(n³)-time maximum-flow algorithm. Max-Planck-Institut für Informatik, Saarbrücken (1991), 30 pp.

Cheriyan, J.; Hagerup, T.; Mehlhorn, K.: A lower bound for the nondeterministic space complexity of contextfree recognition. Max-Planck-Institut für Informatik, Saarbrücken (1991), 4 pp.