Assertion Level Proof Representation with Underspecification<pre>@inproceedings{ABFHV-03-a,
  author        = {Autexier, Serge and Benzm\"uller, Christoph and Fiedler, Armin and Horacek, Helmut and Vo, Quoc Bao},
  editor        = {Kamareddine, Fairouz},
  booktitle     = {Proceedings of MKM Symposium},
  title         = {Assertion Level Proof Representation with Underspecification},
  journal       = {ENTCS},
  volume        = {98},
  address       = {Heriot-Watt, Edinburgh},
  pages         = {5-23},
  month         = {february},
  year          = {2004},
}
</pre>