Bachmair, L.; Ganzinger, H.; Lynch, C.; Snyder, W.: Basic Paramodulation and Superposition. In: Automated Deduction - CADE-11, p. 462‒476 (Ed. Kapur, D.). 11th International Conference on Automated Deduction, Saratoga Springs, NY, June 15, 1992 - June 18, 1992. Springer, Berlin (1992)

Bachmair, L.; Ganzinger, H.; Waldmann, U.: Theorem Proving for Hierarchic First-order Theories. In: Algebraic and Logic Programming, pp. 420 - 434 (Eds. Kirchner, H.; Levi, G.). 3rd International Conference on Algebraic and Logic Programming, Volterra, Italy, September 02, 1992 - September 04, 1992. Springer, Berlin, Germany (1992)

Basin, D.; Kraan, I.; Bundy, A.: Logic Program Synthesis via Proof Planning. In: Logic Program Synthesis and Transformation, pp. 1 - 14 (Eds. Lau, K.-K.; Clement, T.). International Workshop on Logic Program Synthesis and Transformation, Manchester, UK, July 02, 1992 - July 03, 1992. Springer, Berlin (1992)

Basin, D.; Walsh, T.: Difference Matching. In: Automated Deduction - CADE-11, pp. 295 - 309 (Ed. Kapur, D.). 11th International Conference on Automated Deduction , Saratoga Springs, NY, June 15, 1992 - June 18, 1992. Springer, Berlin (1992)

Bast, H.; Dietzfelbinger, M.; Hagerup, T.: A Perfect Parallel Dictionary. In: Mathematical Foundations of Computer Science 1992, pp. 133 - 141. 17th International Symposium on Mathematical Foundations of Computer Science, Prague, Czechoslovakia, August 24, 1992 - August 28, 1992. Springer, New York, NY, USA (1992)

Baumgarten, H.; Jung, H.; Mehlhorn, K.: Dynamic Point Location in General Subdivisions. In: Proceedings of the 3rd Annual ACM-SIAM Symposium on Discrete Algorithms, pp. 250 - 258. 3rd Annual ACM-SIAM Symposium on Discrete Algorithms, Orlando, FL, USA, January 27, 1992. SIAM, Philadelphia, USA (1992)

Bockmayr, A.: Model‐Theoretic Aspects of Unification. In: Word Equations and Related Topics, pp. 181 - 196 (Ed. Schulz, K. U.). 1st Workshop on Word Equations and Related Topics, Tübingen, Germany, October 01, 1990 - October 03, 1990. Springer, Berlin (1992)

Bockmayr, A.: Algebraic and Logical Aspects of Unification. In: Word Equations and Related Topics, pp. 171 - 180 (Ed. Schulz, K. U.). 1st Workshop on Word Equations and Related Topics, Tübingen, Germany, October 01, 1990 - October 03, 1990. Springer, Berlin (1992)

Bockmayr, A.; Krischer, S.; Werner, A.: An Optimal Narrowing Strategy for General Canonical Systems. In: Conditional Term Rewriting Systems, pp. 483 - 497 (Eds. Rusinowitch, M.; Rémy, J. L.). 3rd International Workshop on Conditional Term Rewriting Systems, Pont-à-Mousson, France, July 08, 1992 - July 10, 1992. Springer, Berlin, Germany (1992)

Clarkson, K. L.; Mehlhorn, K.; Seidel, R.: Four Results on Randomized Incremental Constructions. In: STACS 92, pp. 463 - 474 (Eds. Finkel, A.; Jantzen, M.). 9th Annual Symposium on Theoretical Aspects of Computer Science, Cachan, France, February 13, 1992 - February 15, 1992. Springer, Berlin, Germany (1992)

Feldmann, A.; Gross, T. R.; O'Hallaron, D. R.; Stricker, T.: Subset Barrier Synchronization on a Private-Memory Parallel System. In: Proceedings of the Fourth Annual ACM Symposium on Parallel Algorithms and Architectures, pp. 209 - 218. Fourth Annual ACM Symposium on Parallel Algorithms and Architectures , San Diego, CA, USA, June 29, 1992 - July 01, 1992. ACM, New York, NY (1992)

Frank, I.; Basin, D.; Bundy, A.: Finesse: An Adaptation of Proof‐planning to Declarer Play in Bridge. In: ECAI 1992, pp. 72 - 76 (Eds. Neuman, B.; Horn, W.). 10th European Conference on Artificial Intelligence, Vienna, Austria, August 03, 1992 - August 07, 1992. Wiley, Vienna, Austria (1992)

Gabbay, D.; Ohlbach, H. J.: From a Hilbert Calculus to its Model Theoretic Semantics. In: ALPUK92, pp. 218 - 252 (Ed. Broda, K.). 4th Annual UK Conference on Logic Programming, London, March 30, 1992 - April 01, 1992. Springer, Berlin (1992)

Gabbay, D.; Ohlbach, H. J.: Quantifier Elimination in Second-order Predicate Logic. In: KR'92, Principles of Knowledge Representation and Reasoning, pp. 425 - 435. Third International Conference on Principles of Knowledge Representation and Reasoning, Cambridge, MA, United States, October 25, 1992 - October 29, 1992. Morgan Kaufmann Publishers Inc., San Francisco, CA, United States (1992)

Ganzinger, H.; Stuber, J.: Inductive Theorem Proving by Consistency for First-order Clauses. In: Conditional Term Rewriting Systems, pp. 226 - 241 (Eds. Rusinowitch, M.; Rémy, J.-L.). Third International Workshop on Conditional Term Rewriting Systems, Pont-à-Mousson, France, July 08, 1992 - July 10, 1992. Springer, Berlin, Germany (1992)

Ganzinger, H.; Waldmann, U.: Termination Proofs of Well-Moded Logic Programs Via Conditional Rewrite Systems. In: Proceedings of the 3rd International Workshop on Conditional Term Rewriting Systems '92, pp. 430 - 437 (Eds. Rusinowitch, M.; Rémy, J.-L.). 3rd International Workshop on Conditional Term Rewriting Systems, Pont-à-Mousson, France, 1992. Springer, Berlin, Germany (1992)

Hagerup, T.: The Log-star Revolution. In: STACS 92, pp. 257 - 278 (Eds. Finkel, A.; Jantzen, M.). 9th Annual Symposium on Theoretical Aspects of Computer Science, Cachan, France, February 13, 1992 - February 15, 1992. Springer, Berlin, Germany (1992)

Hagerup, T.: Fast and Optimal Simulations between CRCW PRAMs. In: STACS 92, pp. 45 - 56 (Eds. Finkel, A.; Jantzen, M.). 9th Annual Symposium on Theoretical Aspects of Computer Science, Cachan, France, February 13, 1992 - February 15, 1992. Springer, Berlin, Germany (1992)

Hagerup, T.; Albers, S.: Improved Parallel Integer Sorting without Concurrent Writing. In: Proceedings of the Third Annual ACM-SIAM Symposium on Discrete Algorithms, pp. 463 - 472. Third Annual ACM-SIAM Symposium on Discrete Algorithms, Orlando, FL, USA, January 27, 1992. SIAM, Philadelphia, USA (1992)

Hagerup, T.; Kutylowski, M.: Fast Integer Merging on the EREW PRAM. In: Automata, Languages, and Programming, pp. 318 - 329 (Ed. Kuich, W.). 19th International Colloquium on Automata, Languages, and Programming, Wien, Austria, July 13, 1992 - July 17, 1992. Springer, Berlin (1992)