Basin, D. A.; Walsh, T.: A Calculus for and Termination of Rippling. In: Automated mathematical induction, pp. 147 - 180 (Ed. 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, pp. 113 - 145 (Ed. Zhang, H.). Kluwer, Dordrecht, The Netherlands (1996)

Matthews, S.; Simpson, A.: Reflection using the derivability conditions. In: Logic and Algebra, Vol. 180, pp. 603 - 616 (Eds. 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, pp. 253 - 291 (Ed. Wansing, H.). Kluwer, Dordrecht, The Netherlands (1996)

Pfeifle, R.; Seidel, H.-P.: Scattered Data Approximation with Triangular B-Splines. In: Advanced Course on FAIRSHAPE, pp. 253 - 263 (Eds. 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, pp. 152 - 171 (Eds. Fuhrmann, A.; Rott, H.). de Gruyter, New York, USA (1996)

Claus, V.; Hopf, J.; Schwefel, H.-P. (Eds.): Evolutionary Algorithms and their Application. Untitled Event, Schloß Dagstuhl, Wadern, March 25, 1996 - March 29, 1996. IBFI, Wadern (1996), 31 pp.

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

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), pp. 514 - 525 (Eds. 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, pp. 514 - 525 (Eds. Meyer auf der Heide, F.; Monien, B.). 23rd International Colloquium on Automata Languages and Programming, Paderborn, Germany, July 08, 1996 - July 12, 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, pp. 514 - 528 (Eds. Diaz, J.; Serna, M.). 4th Annual European Symposium on Algorithms, Barcelona, Spain, September 25, 1996 - September 27, 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, pp. 348 - 360 (Eds. Hirschberg, D.; Myers, G.). Untitled Event, Laguna Beach, California, USA, June 10, 1996 - June 12, 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, pp. 313 - 328 (Eds. 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, pp. 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, pp. 33 - 50 (Eds. von Wright, J.; Grundy, J.; Harrison, J.). Untitled Event, Turku, Finland, May 14, 2003 - May 18, 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), pp. 456 - 465. Untitled Event, New Brunswick, New Jersey, USA, July 08, 2003 - July 12, 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), pp. 171 - 185 (Eds. 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), pp. 386 - 397 (Eds. 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, p. 4 (Eds. 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, pp. 105 - 109 (Ed. Steinbach, B.). Untitled Event, Freiberg, Sachsen, 1996. TU Bergakademie Freiberg, Institut für Informatik, Freiberg, Sachsen (1996)