author = {B. Buchberger and M. Marin},
title = {{Proving by Simplification}},
booktitle = {{First International Theorema Workshop}},
language = {english},
pages = {--},
address = {RISC, Hagenberg, Austria},
isbn_issn = {-},
year = {1997},
month = {June 9-10},
annote = {1997-06-09-H},
note = {RISC-Linz Report Series No. 97-20},
editor = {B. Buchberger and T. Ida and D. Vasaru},
refereed = {no},
length = {11}