author = {R. Vajda and T. Jebelean and B. Buchberger},
title = {{Combining Logical and Algebraic Techniques for Natural Style Proving in Elementary Analysis}},
language = {english},
journal = {Mathematics and Computers in Simulation},
volume = {79},
number = {8},
pages = {2310--2316},
publisher = {Elsevier},
isbn_issn = {ISSN: 0378-4754},
year = {2009},
month = {April},
annote = {2009-04-00-A},
note = {Special Issue on Nonstandard Applications of Computer Algebra},
refereed = {yes},
length = {11},
url = {http://www.sciencedirect.com}