van der Torre, L. W. N.; Tan, Y.-H.: Reasoning about exceptions. In: Proceedings of the 21st Annual German Conference on Artificial Intelligence (KI-97): Advances in Artificial Intelligence, S. 405 - 408 (Hg. Brewka, G.; Habel, C.; Nebel, B.). Untitled Event, Freiburg, 1997. Springer, Berlin, Germany (1997)

Vorobyov, S.: The First-order Theory of One Step Rewriting in Linear Noetherian Systems is Undecidable. In: Rewriting Techniques and Applications, S. 254 - 268 (Hg. Comon, H.). 8th International Conference on Rewriting Techniques and Applications, Sitges, Spain, 02. Juni 1997 - 05. Juni 1997. Springer, Berlin, Germany (1997)

Vorobyov, S.: The `hardest´ natural decidable theory. In: Proceedings of the Twelfth Annual IEEE Symposium on Logic in Computer Science (LICS-97), S. 294 - 305 (Hg. Winskel, G.). Untitled Event, Warsaw, Poland, 08. Juli 2003 - 12. Juli 2003. IEEE, New York, USA (1997)

Waldmann, U.: A Superposition Calculus for Divisible Torsion-Free Abelian Groups. In: Proceedings of the International Workshop on First-Order Theorem Proving (FTP-97), S. 130 - 134 (Hg. Bonacina, M. P.; Furbach, U.). Untitled Event, Linz, Austria, 1997. Johannes Kepler Universität, Linz, Austria (1997)

Wang, Y.: Randomization and Approximation Techniques in Computer Science. In: Proceedings of the International Workshop on Randomization and Approximation Techniques in Computer Science (RANDOM-97), S. 209 - 225 (Hg. Rolim, J.). Untitled Event, Bologna, Italy, 1997. Springer, Berlin, Germany (1997)

Weydert, E.: Qualitative Entropy Maximization - A preliminary report. In: Proceedings of the 3rd Dutch/German Workshop on Nonmonotonic Reasoning Techniques and their Applications (DGNMR-97), S. 63 - 72 (Hg. Weydert, E.; Brewka, G.; Witteveen, C.). Untitled Event, Saarbrücken, Germany, 1997. Max-Planck-Institut für Informatik, Saarbrücken, Germany (1997)

Weydert, E.: Rational Default Quantifier Logic. In: Qualitative and Quantitative Practical Reasoning, S. 589 - 599 (Hg. Gabbay, D.; Kruse, R.; Nonnengart, A.). 1st International Joint Conference on Qualitative and Quantitative Practical Reasoning, Bad Honnef, Germany, 09. Juni 1997 - 12. Juni 1997. Springer, Heidelberg, Germany (1997)

Zosin, L.: A 2-Approximation Algorithm for the Directed Multiway Cut Problem. In: Proceedings of the 38th Annual Symposium on Foundations of Computer Science (FOCS-97), S. 548 - 553. Untitled Event, Miami Beach, FL, USA, 19. Oktober 1997 - 22. Oktober 1997. IEEE, Los Alamitos, USA (1997)

Albers, S.; Mitzenmacher, M.: Average Case Analysis of List Update Algorithms, with Applications to Data Compression. In: Automata, Languages and Programming: 23rd International Colloquium (ICALP'96), S. 514 - 525 (Hg. Meyer auf der Heide, F.; Monien, B.). Untitled Event, Paderborn, Germany, 1996. Springer, Berlin (1996)

Albers, S.; Mitzenmacher, M.: Average Case Analyses of List Update Algorithms, with Applications to Data Compression. In: Automata Languages and Programming, S. 514 - 525 (Hg. Meyer auf der Heide, F.; Monien, B.). 23rd International Colloquium on Automata Languages and Programming, Paderborn, Germany, 08. Juli 1996 - 12. Juli 1996. Springer, Berlin, Germany (1996)

Arikati, S. R.; Chen, D. Z.; Chew, L. P.; Das, G.; Smid, M.; Zaroliagis, C.: Planar Spanners and Approximate Shortest Path Queries among Obstacles in the Plane. In: Algorithms - ESA '96, S. 514 - 528 (Hg. Diaz, J.; Serna, M.). 4th Annual European Symposium on Algorithms, Barcelona, Spain, 25. September 1996 - 27. September 1996. Springer, Berlin (1996)

Arikati, S. R.; Dessmark, A.; Lingas, A.; Marathe, M. V.: Approximation algorithms for maximum two-dimensional pattern matching. In: Combinatorial Pattern Matching: 7th Annual Symposium, CPM96, S. 348 - 360 (Hg. Hirschberg, D.; Myers, G.). Untitled Event, Laguna Beach, California, USA, 10. Juni 1996 - 12. Juni 1996. Springer, Berlin (1996)

Ayari, A.; Basin, D. A.: Generic System Support for Deductive Program Development. In: Second International Workshop, TACAS'96: Tools and Algorithms for the Construction and Analysis of Systems, S. 313 - 328 (Hg. Margaria, T.; Steffen, B.). Untitled Event, Passau, Germany, 1996. Springer, Berlin, Germany (1996)

Barth, P.; Bockmayr, A.: Modelling 0-1 Problems in CLP($\cal PB$). In: Proceedings of the Second International Conference on Practical Application of Constraint Technology, S. 1 - 9. Untitled Event, London, UK, 1996. The Practical Application Company, London, UK (1996)

Basin, D. A.; Friedrich, S.: Modeling a hardware synthesis methodology in Isabelle. In: Theorem Proving in Higher Order Logics. 9th International Conference, TPHOLs'96, S. 33 - 50 (Hg. von Wright, J.; Grundy, J.; Harrison, J.). Untitled Event, Turku, Finland, 14. Mai 2003 - 18. Mai 2003. Springer, Berlin, Germany (1996)

Basin, D. A.; Ganzinger, H.: Complexity Analysis Based on Ordered Resolution. In: Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science (LICS'96), S. 456 - 465. Untitled Event, New Brunswick, New Jersey, USA, 08. Juli 2003 - 12. Juli 2003. IEEE, Los Alamitos, USA (1996)

Basin, D. A.; Matthews, S.: Structuring metatheory on inductive definitions. In: Proceedings of the 13th International Conference on Automated Deduction (CADE-13), S. 171 - 185 (Hg. McRobbie, M. A.; Slaney, J. K.). Untitled Event, New Brunswick, New Jersey, USA, 1996. Springer, Berlin, Germany (1996)

Basin, D. A.; Matthews, S.; Viganò, L.: Implementing Modal and Relevance Logics in a Logical Framework. In: Proceedings of the 5th International Conference on Principles of Knowledge Representation and Reasoning (KR'96), S. 386 - 397 (Hg. Carlucci-Aiello, L.; Doyle, J.; Shapiro, S.). Untitled Event, Cambridge, MA, USA. Morgan Kaufmann, San Francisco, USA (1996)

Bockmayr, A.: Constraints in Functional Logic Programming (Abstract). In: Integration of functional and logic languages, S. 4 (Hg. Hanus, M.; Lloyd, J. W.; Moreno Navarro, J. J.). IBFI, Schloss Dagstuhl, Germany (1996)

Bockmayr, A.; Barth, P.; Kasper, T.: Methods and Tools for Pseudo-Boolean Problems. In: 2. Workshop Boolesche Probleme, S. 105 - 109 (Hg. Steinbach, B.). Untitled Event, Freiberg, Sachsen, 1996. TU Bergakademie Freiberg, Institut für Informatik, Freiberg, Sachsen (1996)