@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}
}