Arya, S.; Mount, D. M.; Netanyahu, N. S.; Silverman, R.: An Optimal Algorithm for Approximate Nearest Neighbor Searching. In: Proceedings of the Fifth Annual ACM-SIAM Symposium on Discrete Algorithms, pp. 573 - 582. Fifth Annual ACM-SIAM Symposium on Discrete Algorithms, Arlington, VA, USA, January 23, 1994 - January 25, 1994. ACM / SIAM, New York, USA (1994)

Arya, S.; Mount, D. M.; Smid, M.: Randomized and Deterministic Algorithms for Geometric Spanners of Small Diameter. In: Proceedings of the 35th Annual IEEE Symposium on Foundations of Computer Science, pp. 703 - 712. 35th Annual IEEE Symposium on Foundations of Computer Science, Santa Fe, NM, USA, November 20, 1994 - November 22, 1994. IEEE, New York, NY, USA (1994)

Arya, S.; Smid, M.: Efficient Construction of a Bounded Degree Spanner with Low Weight. In: Algorithms - ESA '94, pp. 48 - 59 (Ed. van Leeuwen, J.). Second Annual European Symposium on Algorithms, Utrecht, The Netherlands, September 26, 1994 - September 28, 1994. Springer, Berlin (1994)

Bachmair, L.; Ganzinger, H.: Buchberger's algorithm: a constraint-based completion procedure. In: Proceedings of the 1st International Conference on Constraints in Computational Logics (CCL'94), pp. 285 - 301 (Ed. Jouannaud, J.-P.). Untitled Event, Munich, Germany, 1994. Springer, Berlin, Germany (1994)

Bachmair, L.; Ganzinger, H.: Ordered Chaining for Total Orderings. In: Proceedings of the 12th International Conference on Automated Deduction (CADE-12), pp. 435 - 450 (Ed. Bundy, A.). Untitled Event, Nancy, France, 1994. Springer, Berlin, Germany (1994)

Bachmair, L.; Ganzinger, H.: Rewrite Techniques for Transitive Relations. In: Proceedings of the 9th IEEE Symposium on Logic in Computer Science, pp. 384 - 393. Untitled Event, Paris, France, July 08, 2003 - July 12, 2003. IEEE, Los Alamitos, USA (1994)

Barth, P.: Simplifying Clausal Satisfiability Problems. In: Proceedings of the 1st International Conference on Constraints in Computational Logics (CCL'94), pp. 19 - 33 (Ed. Jouannaud, J.-P.). Untitled Event, Munich, Germany, 1994. Springer, Berlin, Germany (1994)

Basin, D. A.: Logic Frameworks for Logic Programs. In: Proceedings of the 4th International Workshop on Logic Program Synthesis and Transformation - Meta Programming in Logic (LOPSTR'94 and META'94), pp. 1 - 16 (Eds. Fribourg, L.; Turini, F.). Untitled Event, Pisa, Italy, 1994. Springer, Berlin, Germany (1994)

Basin, D.: IsaWhelk: Whelk Interpreted in Isabelle. In: Logic Programming, p. 741 (Ed. Van Hentenryck, P.). 11th International Conference on Logic Programming, Santa Margherita Ligure, Italy, 1994. MIT Press, Cambridge, USA (1994)

Basin, D. A.; Walsh, T.: Termination Orderings for Rippling. In: Proceedings of the 12th International Conference On Automated Deduction (CADE-12), pp. 466 - 483 (Ed. Bundy, A.). Untitled Event, Nancy, France, 1994. Springer, Berlin, Germany (1994)

Bockmayr, A.: Solving Pseudo-Boolean Constraints. In: Constraint Programming: Basics and Trends, pp. 22 - 38 (Ed. Podelski, A.). 1994 Chatillon Spring School, Chatillon-sur-Seine, France, May 16, 1994 - May 20, 1994. Springer, Berlin, Germany (1994)

Bockmayr, A.: Cutting planes in constraint logic programming (Abstract). In: Proceedings of the 3rd International Symposium Artificial Intelligence and Mathematics. Untitled Event, Ft. Lauderdale, Florida, 1994. Florida Atlantic University, Boca Raton (1994)

Bockmayr, A.: Using Strong Cutting Planes in Constraint Logic Programming (Extended Abstract). In: Operations Research '93, 18th Symposium on Operations Research, pp. 47 - 49 (Eds. Bachem; A.; al.). Untitled Event, Köln, 1994. Physica-Verlag, Heidelberg, Germany (1994)

Bockmayr, A.; Werner, A.: LSE Narrowing for Decreasing Conditional Term Rewrite Systems. In: Conditional Term Rewriting Systems, pp. 51 - 70 (Eds. Dershowitz, N.; Lindenstrauss, N.). 4th International Workshop on Conditional Term Rewriting Systems, Jerusalem, Israel, July 13, 1994 - July 15, 1994. Springer, Berlin, Germany (1994)

Burnikel, C.; Mehlhorn, K.; Schirra, S.: How to Compute the Voronoi Diagram of Line Segments: Theoretical and Experimental Results. In: Algorithms (ESA-94): 2nd annual European symposium, pp. 227 - 239. Untitled Event, Utrecht, The Netherlands, September 26-28, 1994, September 26, 1994. Springer, Berlin, Germany (1994)

Burnikel, C.; Mehlhorn, K.; Schirra, S.: On degeneracy in geometric computations. In: Discrete algorithms (SODA-94): 5th annual ACM-SIAM symposium, pp. 16 - 23. Untitled Event, Arlington, USA, January 23, 1994. ACM / SIAM, New York, USA (1994)

Chu, H.; Plaisted, D. A.: Semantically Guided First-Order Theorem Proving using Hyper-Linking. In: Proceedings of the 12th International Conference on Automated Deduction (CADE-12), pp. 192 - 206 (Ed. Bundy, A.). Untitled Event, Nancy, France, 1994. Springer, Berlin, Germany (1994)

Datta, A.: Efficient Parallel Algorithms for Geometric k-clustering Problems. In: STACS 94, pp. 475 - 486 (Eds. Enjalbert, P.; Mayr, E. W.; Wagner, K. W.). 11th Annual Symposium on Theoretical Aspects of Computer Science, Caen, France, February 24, 1994 - February 26, 1994. Springer, Berlin, Germany (1994)

Devillers, O.; Golin, M.; Kedem, K.; Schirra, S.: Revenge of the Dog: Queries on Voronoi Diagrams of Moving Points. In: Proceedings of the 6th Canadian Conference on Computational Geometry, pp. 122 - 127. 6th Canadian Conference on Computational Geometry, Saskatoon, Canada, August 02, 1994 - August 06, 1994. (1994)

Dimopoulos, Y.: Classical Methods in Nonmonotonic Reasoning. In: Proceedings of the 8th International Symposium on Methodologies for Intelligent Systems (ISMIS'94), pp. 500 - 510 (Eds. Ras, Z.; Zemankova, M.). Untitled Event, Charlotte, North Carolina, 1994. Springer, Berlin, Germany (1994)