@misc{RISC2226,author = {B. Buchberger},
title = {{The PCS Prover in Theorema}},
language = {english},
year = {2001},
month = {February 19-23},
annote = {2001-02-19-B},
note = {Lecture Notes in Computer Science 2178, 2201. ISSN 0302-9743, ISBN 3-540-42959-X. Contributed talk at EUROCAST 2001 (8th International Conference on Computer Aided Systems Theory - Formal Methods and Tools for Computer Science), Las Palmas de Gran Canaria},
keywords = {proving - solving - computing, automated theorem proving, proof example, limit of sum, Collins' algorithm},
conferencename = {EUROCAST 2001 (8th International Conference on Computer Aided Systems Theory - Formal Methods and Tools for Computer Science), Las Palmas de Gran Canaria}
}