A Generic Modular Data Structure for Proof Attempts Alternating on Ideas and Granularity
@inproceedings{ABDMW-05-a, author = {Serge Autexier and Christoph Benzm\"uller and Dominik Dietrich and Andreas Meier and Claus-Peter Wirth}, editor = {Kohlhase, Michael}, booktitle = {Proceedings of MKM'05}, title = {A Generic Modular Data Structure for Proof Attempts Alternating on Ideas and Granularity}, volume = {3863}, series = {LNAI}, publisher = {Springer}, address = {IUB Bremen, Germany}, month = {january}, year = {2006}, }