Lenhof, H.-P.: Parallel Protein Puzzle: A New Suite of Protein Docking Tools. In: Forschung und wissenschaftliches Rechnen: Beiträge zum Heinz-Billing-Preis 1996, pp. 31 - 48 (Eds. Plesser, T.; Wittenberg, P.). Gesellschaft für wissenschaftliche Datenverarbeitung mbH, Göttingen, Germany (1997)

Schirra, S.: Precision and Robustness in Geometric Computations. In: Algorithmic Foundations of Geographic Information Systems, pp. 255 - 287 (Eds. van Kreveld, M.; Nievergelt, J.; Roos, T.; Widmayer, P.). Springer, Berlin (1997)

Vingron, M.; Lenhof, H.-P.; Mutzel, P.: Computational Molecular Biology. In: Annotated Bibliographies in Combinatorial Optimization, pp. 445 - 471 (Eds. Dell'Amico, M.; Maffioli, F.; Martello, S.). Wiley, New York, USA (1997)

Weiß, V.; Seidel, H.-P.; Greiner, G.; Puchtler, T.; Eberlein, W.: Optimizing CNC Programs Using Spline Techniques. In: Geometric Modeling: Theory and Practice, pp. 70 - 82 (Eds. Strasser, W.; Klein, R.; Rau, R. T.). Springer, Berlin (1997)

Basin, D. A.; Matthews, S.; Viganò, L.: A Topography of Labelled Modal Logics. In: Frontiers of Combining Systems (First International Workshop, Munich, March 1996), pp. 75 - 92 (Eds. Baader, F.; Schulz, K. U.). Kluwer, Dordrecht, The Netherlands (1996)

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)

Hustadt, U.: Introducing Epistemic Operators into a Description Logic. In: Knowledge and Belief in Philosophie and Artificial Intelligence, pp. 65 - 86 (Eds. Laux, A.; Wansing, H.). Akademie Verlag, Berlin, Germany (1995)

Lenhof, H.-P.: An Algorithm for the Protein Docking Problem. In: Bioinformatics: From Nucleic Acids and Proteins to Cell Metabolism, pp. 125 - 139 (Eds. Schomburg, D.; Lessel, U.). VCH, Weinheim, Germany (1995)

Hopf, J.; Klawonn, F.: Learning the Rule Base of a Fuzzy Controller by a Genetic Algorithm. In: Fuzzy Systems in Computer Science, pp. 63 - 74 (Eds. Kruse, R.; Palm, R.; Gebhardt, J.). Friedr. Vieweg & Sohn, Braunschweig, Germany (1994)

Matthews, S.: A Theory and its Metatheory in $FS_0$. In: What is a logical system?, pp. 329 - 354 (Ed. Gabbay, D. M.). Oxford University Press, Oxford, UK (1994)

Bertling, H.; Ganzinger, H.; Schäfers, R.; Nieuwenhuis, R.; Orejas, F.: Completion Subsystem. In: Program Development by Specification and Transformation, pp. 460 - 494 (Eds. Hoffmann, B.; Krieg‐Brückner, B.). Springer, Berlin (1993)

Bockmayr, A.: Logic Programming with Pseudo-Boolean Constraints. In: Constraint Logic Programming: Selected Research, pp. 327 - 350 (Eds. Benhamou, F.; Colmerauer, A.). MIT Press, Cambridge, MA (1993)

Matthews, S.; Smaill, A.; Basin, D.: Experience with FS_0 as a Framework Theory. In: Logical Environments, pp. 61 - 82 (Eds. Huet, G.; Plotkin, G.). Cambridge University Press, Cambridge, UK (1993)

Ohlbach, H. J.; Eisinger, N.: Deduction Systems Based on Resolution. In: Handbook of Logic in Artificial Intelligence and Logic Programming, Vol. 1, pp. 183 - 271 (Eds. Gabbay, D. M.; Hogger, C. J.; Robinson, J. A.). Oxford University Press, New York, NY (1993)

Eisinger, N.; Nonnengart, A.; Präcklein, A.: Termersetzungssysteme. In: Deduktionssysteme -- Automatisierung des logischen Denkens, pp. 126 - 149 (Eds. Bläsius, K.H.; Bürckert, H.-J.). Oldenbourg, München, Germany (1992)