author = {B. Buchberger},
title = {{Natural Language Proofs in Nested Cells Representation}},
language = {english},
year = {1997},
month = {April},
annote = {1997-04-00-A},
note = {Contributed talk at First International Workshop on Proof Transformation and Presentation, Schloss Dagstuhl, Germany},
conferencename = {First International Workshop on Proof Transformation and Presentation, Schloss Dagstuhl, Germany}