Research Institute for Symbolic Computation (RISC-Linz)
Johannes Kepler University
A-4040 Linz, Austria, Europe

Phone: +43 732 2468 9946
Fax: +43 732 2468 9930

URL: http://www.risc.uni-linz.ac.at/people/tjebelea

Research

• Publications
  
  
• Theorema: automatic reasoning in natural style.