Schirra, S.: Robustness and Precision Issues in Geometric Computation. In: Handbook of Computational Geometry, pp. 597 - 632 (Eds. Sack, J.-R.; Urrutia, J.). Elsevier, Amsterdam, The Netherlands (2000)

Schmidt, R. A.: Relational Grammars for Knowledge Representation. In: Variable-Free Semantics, pp. 162 - 180 (Eds. Böttner, M.; Thümmel, W.). secolo Verlag, Osnabrück, Germany (2000)

Seidel, H.-P.: Realistic Rendering. In: Principles of 3D Image Analysis and Synthesis, pp. 203 - 241 (Eds. Girod, B.; Greiner, G.; Niemann, H.). Kluwer, Boston, USA (2000)

Sofronie-Stokkermans, V.: Some properties of Kleene algebras. In: COST Action 15 (Many-Valued Logics for Computer Science Applications) ATLAS of Many-Valued Structures, pp. 1 - 7 (Eds. Iturrioz, L.; Orlowska, E.; Turunen, E.). Tampere University of Technology (Mathematics), Tampere (2000)

Wu, J.: First-Order Polynomial based Theorem Proving. In: Mathematics Mechanizations and Applications, pp. 273 - 294 (Eds. Gao, X.-S.; Wang, D.). Academic Press, San Diego, USA (2000)

Basin, D. A.; Krieg-Brückner, B.: Formalization of the Development Process. In: Algebraic foundations of systems specification, pp. 521 - 562 (Eds. Astesiano, E.; Kreowski, H.-J.; Krieg-Brückner, B.). Springer, Berlin, Germany (1999)

Bozzano, M.; Delzanno, G.; Martelli, M.; Mascardi, V.; Zini, F.: Logic Programming and Multi-Agent Systems: a Synergic Combination for Applications and Semantics. In: The Logic Programming Paradigm: a 25-Year Perspective, pp. 5 - 32 (Eds. Apt, K.; Marek, V. W.; Truszczynski, M.; Warren, D. S.). Springer, Berlin, Germany (1999)

Mutzel, P.; Eades, P.: Graph Drawing Algorithms. In: Algorithms & Theory of Computation Handbook, pp. 9 - 1-9-26 (Ed. Atallah, M. J.). CRC, Boca Raton, USA (1999)

Nonnengart, A.; Szalas, A.: A Fixpoint Approach to Second-Order Quantifier Elimination with Applications to Correspondence Theory. In: Logic at Work: Essays Dedicated to the Memory of Helena Rasiowa (Ed. Orlowska, E.). Springer, Berlin, Germany (1999)

Starner, T.; Schiele, B.; Bradley, R.; Oliver, N.; Pentland, A.; Jebara, T.; Weaver, J.: Augmented Realities Integrating User and Physical Models. In: Augmented Reality: Placing Artificial Objects in Real Scenes, pp. 73 - 79. Peters, Natick, Mass. (1999)

van der Torre, L. W. N.; Tan, Y.-H.: An update semantics for deontic reasoning. In: Norms, Logics and Information Systems: New Studies on Deontic Logic and Computer Science, pp. 73 - 90 (Eds. McNamara, P.; Prakken, H.). IOS Press, Amsterdam, the Netherlands (1999)

van der Torre, L. W. N.; Tan, Y.-H.: Contextual Deontic Logic: violation contexts and factual defeasibility. In: Formal Aspects in Context, pp. 173 - 192 (Ed. Cavalcanti, M.). Kluwer, Dordrecht, The Netherlands (1999)

Albers, S.; Westbrook, J.: Self-organizing data structures. In: Online Algorithms: The State of the Art, pp. 13 - 51 (Eds. Fiat, A.; Woeginger, G. J.). Springer, Berlin, Germany (1998)

Bachmair, L.; Ganzinger, H.: Equational Reasoning in Saturation-Based Theorem Proving. In: Automated Deduction: A Basis for Applications, Vol. I, pp. 353 - 397 (Eds. Bibel, W.; Schmitt, P. H.). Kluwer, Dordrecht, The Netherlands (1998)

Eades, P.; Mutzel, P.: Graph Drawing Algorithms. In: Algorithms and Theory of Computation Handbook, pp. 9 - 26 (Ed. Atallah, M. J.). CRC Press, New York, USA (1998)

Mehlhorn, K.: Amortisierte Analyse. In: Prinzipien des Algorithmenentwurfs, pp. 91 - 102 (Ed. Ottmann, T.). Spektrum, Heidelberg, Germany (1998)

Schmidt, R. A.: Resolution is a Decision Procedure for Many Propositional Modal Logics. In: Advances in Modal Logic, Volume 1, pp. 189 - 208 (Eds. Kracht, M.; de Rijke, M.; Wansing, H.; Zakharyaschev, M.). CSLI, Stanford, USA (1998)

Stuber, J.: Superposition theorem proving for commutative rings. In: Automated Deduction - A Basis for Applications. Volume III. Applications, pp. 31 - 55 (Eds. Bibel, W.; Schmitt, P. H.). Kluwer, Dordrecht, The Netherlands (1998)

Weidenbach, C.: Rechnen in sortierter Prädikatenlogik. In: Ausgezeichnete Informatikdissertationen 1997, pp. 183 - 197 (Eds. Fiedler, H.; Gorny, P.; Grass, W.; Hölldobler, S.; Hotz, G. et al.). Teubner, Stuttgart, Germany (1998)

Weidenbach, C.: Sorted Unification and Tree Automata. In: Automated Deduction - A Basis for Applications, pp. 291 - 320 (Eds. Bibel, W.; Schmitt, P. H.). Kluwer, Dordrecht, The Netherlands (1998)