A Formal Correspondence between OMDoc with Alternative Proofs and the LambdabarMuMutilde-Calculus<pre>@inproceedings{ASC-06-a,
  author        = {Serge Autexier and Claudio Sacerdoti-Coen},
  editor        = {Jon Borwein and Bill Farmer},
  booktitle     = {Proceedings of MKM'06},
  title         = {A Formal Correspondence between OMDoc with Alternative Proofs and the LambdabarMuMutilde-Calculus},
  volume        = {4108},
  series        = {LNAI},
  publisher     = {Springer},
  pages         = {67-81},
  month         = {august},
  year          = {2006},
}
</pre>