Towards Practical Reflection for Formal Mathematics, extended abstract (2007)

by M Giese, B Buchberger
Venue:Proceedings of Austria-Japan Workshop on Symbolic Computation and Software Verification