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

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

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

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

Bast, H.; Dietzfelbinger, M.; Hagerup, T.: A Perfect Parallel Dictionary. In: Mathematical Foundations of Computer Science 1992, S. 133 - 141. 17th International Symposium on Mathematical Foundations of Computer Science, Prague, Czechoslovakia, 24. August 1992 - 28. August 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, S. 250 - 258. 3rd Annual ACM-SIAM Symposium on Discrete Algorithms, Orlando, FL, USA, 27. Januar 1992. SIAM, Philadelphia, USA (1992)

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

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

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

Clarkson, K. L.; Mehlhorn, K.; Seidel, R.: Four Results on Randomized Incremental Constructions. In: STACS 92, S. 463 - 474 (Hg. Finkel, A.; Jantzen, M.). 9th Annual Symposium on Theoretical Aspects of Computer Science, Cachan, France, 13. Februar 1992 - 15. Februar 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, S. 209 - 218. Fourth Annual ACM Symposium on Parallel Algorithms and Architectures , San Diego, CA, USA, 29. Juni 1992 - 01. Juli 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, S. 72 - 76 (Hg. Neuman, B.; Horn, W.). 10th European Conference on Artificial Intelligence, Vienna, Austria, 03. August 1992 - 07. August 1992. Wiley, Vienna, Austria (1992)

Gabbay, D.; Ohlbach, H. J.: From a Hilbert Calculus to its Model Theoretic Semantics. In: ALPUK92, S. 218 - 252 (Hg. Broda, K.). 4th Annual UK Conference on Logic Programming, London, 30. März 1992 - 01. April 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, S. 425 - 435. Third International Conference on Principles of Knowledge Representation and Reasoning, Cambridge, MA, United States, 25. Oktober 1992 - 29. Oktober 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, S. 226 - 241 (Hg. Rusinowitch, M.; Rémy, J.-L.). Third International Workshop on Conditional Term Rewriting Systems, Pont-à-Mousson, France, 08. Juli 1992 - 10. Juli 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, S. 430 - 437 (Hg. 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, S. 257 - 278 (Hg. Finkel, A.; Jantzen, M.). 9th Annual Symposium on Theoretical Aspects of Computer Science, Cachan, France, 13. Februar 1992 - 15. Februar 1992. Springer, Berlin, Germany (1992)

Hagerup, T.: Fast and Optimal Simulations between CRCW PRAMs. In: STACS 92, S. 45 - 56 (Hg. Finkel, A.; Jantzen, M.). 9th Annual Symposium on Theoretical Aspects of Computer Science, Cachan, France, 13. Februar 1992 - 15. Februar 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, S. 463 - 472. Third Annual ACM-SIAM Symposium on Discrete Algorithms, Orlando, FL, USA, 27. Januar 1992. SIAM, Philadelphia, USA (1992)

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