@misc{RISC2702,author = {B. Buchberger and T. Jebelean and F. Kriftner},
title = {{The Present State of the Theorema Project and the Predicate Logic Prover}},
language = {english},
year = {1997},
month = {April 28-30},
annote = {1997-04-28-A},
note = {Contributed talk at CALCULEMUS'97 (International Workshop on Systems for Integrated, Computation and Deduction), Trento, Italy},
conferencename = {CALCULEMUS'97 (International Workshop on Systems for Integrated, Computation and Deduction), Trento, Italy}
}