Assertion Level Proof Representation with Underspecification
@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}, }