@inproceedings{RISC321,author = {B. Buchberger},
title = {{The PCS Prover in Theorema}},
booktitle = {{Proceedings of EUROCAST 2001 (8th International Conference on Computer Aided Systems Theory - Formal Methods and Tools for Computer Science)}},
language = {english},
abstract = { },
series = {Lecture Notes in Computer Science 2178},
pages = {469--478},
publisher = {Copyright: Springer - Verlag Berlin},
isbn_issn = {ISSN 0302-9743, ISBN 3-540-429},
year = {2001},
month = {19-23 February},
annote = {2001-02-19-B},
editor = {R. Moreno-Diaz and B. Buchberger and J.L. Freire},
refereed = {yes},
organization = {Las Palmas de Gran Canaria},
keywords = {Keywords: proving - solving - computing, automated theorem proving, proof example, limit of sum, Collins' algorithm},
length = {10}
}