RISC RISC Research Institute for Symbolic Computation  
  • @techreport{RISC1432,
    author = {Bruno Buchberger and Klaus Aigner and Claudio Dupre and Tudor Jebelean and Franz Kriftner and Mircea Marin and Koji Nakagawa and Ovidiu Podisor and Elena Tomuta and Yaroslav Usenko and Daniela Vasaru and Wolfgang Windsteiger},
    title = {{Theorema: An Integrated System for Computation and Deduction in Natural Style}},
    language = {english},
    number = {98-25},
    year = {1998},
    month = {December},
    annote = {1998-07-00-A},
    note = {Also available as SFB Report No. 98-06},
    keywords = {automated reasoning},
    sponsor = {Austrian Science Foundation (FWF), project FO-1302 (SFB)},
    length = {7},
    type = {RISC Report Series},
    institution = {Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz},
    address = {Schloss Hagenberg, 4232 Hagenberg, Austria}