author = {B. Buchberger},
title = {{Focus Windows: A New Technique for Proof Presentation}},
language = {english},
year = {2002},
month = {February 17-18},
annote = {2002-02-17-A},
note = {Invited talk at 2nd Workshop on Proving, Solving, Computing, Tokyo, organized by the SCORE Group, University of Tsukuba, Japan},
keywords = {Example, elementary set theory, equivalences, Theorema},
conferencename = {2nd Workshop on Proving, Solving, Computing, Tokyo, organized by the SCORE Group, University of Tsukuba, Japan}