@Bibtex-file{Techreports/RISC.bib,
  title =        "Bibliography of the technical reports of the Research
                 Institute for Symbolic Computation ({RISC})",
  author =       "Research Institute for Symbolic Computation (RISC)",
  address =      "Johannes Kepler University\\ A-4040 Linz\\ Austria",
  supported =    "gone",
  keywords =     "Abstract Data Types, Algorithm Theory, Applied
                 Mathematics (Analysis etc.), Artificial Intelligence,
                 Automatic Programming, Automated Theorem Proving, CAM,
                 Chemistry, Coding Theory, Combinatorics, Complexity
                 Theory, Computatinoal Geometry, Computer Algebra,
                 Computer Algebra Algorithms (except Gr{\"o}bner Bases),
                 Computer Algebra Languages, Computer Analysis, Critical
                 Pair Completion, Data Structures, Expert Systems,
                 Functional Programming, Geo Reasoning, Geo Theorem
                 Proving, Graphics, Groebner Bases, Mathematics for
                 Computer Science, Logic Programming, Operations
                 Research, Organisation, Parallel Computation, Politics,
                 Programming, Program Verification, Recursion and
                 Iteration, Robot Programming, Semantics of Programming
                 Languages, Simplification, Software Technology,
                 Symbolic Computation",
}

.