@inproceedings{GieseBuchberger07a,
   author = {Martin Giese and Bruno Buchberger},
   title = {Towards Practical Reflection for Formal Mathematics},
   editors = {Manuel Kauers and Manfred Kerber and Robert Miner and Wolfgang Windsteiger},
   booktitle = {Calculemus/MKM 2007 -- Work in Progress},
   pages = {21-34},
   year = {2007},
   note = {RISC Report 07-06}
}