Towards proof planning for Mw+
@inproceedings{SA-02-a,
  author        = {Carsten Schürmann 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},
}