Hundack, C.; Prömel, H. J.; Steger, A.: Extremal Graph Problems for Graphs with a Color-Critical Vertex. In: Combinatorics, Geometry and Probability, S. 421 - 433 (Hg. Bellobás, B.; Thomason, A.). Cambridge University Press, Cambridge (1997)

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, S. 31 - 48 (Hg. 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, S. 255 - 287 (Hg. 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, S. 445 - 471 (Hg. 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, S. 70 - 82 (Hg. 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), S. 75 - 92 (Hg. 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, 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)

Hustadt, U.: Introducing Epistemic Operators into a Description Logic. In: Knowledge and Belief in Philosophie and Artificial Intelligence, S. 65 - 86 (Hg. 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, S. 125 - 139 (Hg. 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, S. 63 - 74 (Hg. 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?, S. 329 - 354 (Hg. 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, S. 460 - 494 (Hg. Hoffmann, B.; Krieg‐Brückner, B.). Springer, Berlin (1993)

Bockmayr, A.: Logic Programming with Pseudo-Boolean Constraints. In: Constraint Logic Programming: Selected Research, S. 327 - 350 (Hg. 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, S. 61 - 82 (Hg. 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, Bd. 1, S. 183 - 271 (Hg. Gabbay, D. M.; Hogger, C. J.; Robinson, J. A.). Oxford University Press, New York, NY (1993)