Basin, D. A.; Walsh, T.: A Calculus for and Termination of Rippling. In: Automated mathematical induction, S. 147 - 180 (Hg. Zhang, H.). Kluwer, Dordrecht, The Netherlands (1996)

Kraan, I.; Basin, D. A.; Bundy, A.: Middle-Out Reasoning for Synthesis and Induction. In: Automated mathematical induction, S. 113 - 145 (Hg. Zhang, H.). Kluwer, Dordrecht, The Netherlands (1996)

Matthews, S.; Simpson, A.: Reflection using the derivability conditions. In: Logic and Algebra, Bd. 180, S. 603 - 616 (Hg. Ursini, A.; Agilanò, P.). Marcel Dekker, New York, USA (1996)

Ohlbach, H. J.; Schmidt, R. A.; Hustadt, U.: Translating Graded Modalities into Predicate Logic. In: Proof Theory of Modal Logic, S. 253 - 291 (Hg. Wansing, H.). Kluwer, Dordrecht, The Netherlands (1996)

Pfeifle, R.; Seidel, H.-P.: Scattered Data Approximation with Triangular B-Splines. In: Advanced Course on FAIRSHAPE, S. 253 - 263 (Hg. Hoschek, J.; Kaklis, P. D.). Vieweg+Teubner Verlag, Wiesbaden (1996)

Weydert, E.: Doxastic Normality Logic: A Qualitative Probabilistic Modal Framework for Defaults and Belief. In: Logic, Action, and Information, S. 152 - 171 (Hg. Fuhrmann, A.; Rott, H.). de Gruyter, New York, USA (1996)

Claus, V.; Hopf, J.; Schwefel, H.-P. (Hg.): Evolutionary Algorithms and their Application. Untitled Event, Schloß Dagstuhl, Wadern, 25. März 1996 - 29. März 1996. IBFI, Wadern (1996), 31 S.

Ganzinger, H. (Hg.): Rewriting Techniques and Applications, 7th International Conference, RTA-96. Untitled Event, Rutgers University, New Brunswick, NJ, USA, 1996. Springer, Berlin, Germany (1996), 435 S.

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)