Towards proof planning for Mw+
@inproceedings{SA-02-a, author = {Carsten Sch\"urmann and Serge Autexier}, editor = {Pfenning, Frank}, booktitle = {Proceedings of the Third International Workshop on Logical Frameworks and Meta-Languages (LFM'02)}, title = {Towards proof planning for Mw+}, volume = {70.2}, type = {Electronic journal}, series = {ENTCS}, publisher = {Elsevier Science}, month = {july}, year = {2002}, }