author = {Martin Giese and Bruno Buchberger},
title = {{Towards Practical Reflection for Formal Mathematics, extended abstract. In Proceedings of Austria-Japan Workshop on Symbolic Computation and Software Verification}},
language = {english},
number = {07-09},
year = {2007},
month = {July 1},
annote = {2007-04-10-B},
note = {pages 30-34},
institution = {RISC},
length = {5}