@**inproceedings**{RISC2256,author = {F. Piroi and B. Buchberger},

title = {{Focus Windows: A New Technique for Proof Presentation}},

booktitle = {{Proceedings of the 8th Rhine Workshop on Computer Algebra, Mannheim, Germany}},

language = {english},

pages = {297--313},

isbn_issn = {_},

year = {2002},

month = {March 21-22},

annote = {2002-02-25-A},

editor = {H. Kredel and W. Seiler},

refereed = {yes},

keywords = {automated theorem proving, Theorema, example, implementation, elementary set theory, equivalences},

length = {41}

}