Serge Autexier, Christoph Benzmüller, Armin Fiedler, Helmut Horacek, Quoc Bao Vo. Assertion-level Proof Representation with Under-Specification. Electronic Notes in Theoretical Computer Science, 93:5-23, 2004. [doi]
@article{AutexierBFHV04, title = {Assertion-level Proof Representation with Under-Specification}, author = {Serge Autexier and Christoph Benzmüller and Armin Fiedler and Helmut Horacek and Quoc Bao Vo}, year = {2004}, doi = {10.1016/j.entcs.2003.12.026}, url = {http://dx.doi.org/10.1016/j.entcs.2003.12.026}, researchr = {https://researchr.org/publication/AutexierBFHV04}, cites = {0}, citedby = {0}, journal = {Electronic Notes in Theoretical Computer Science}, volume = {93}, pages = {5-23}, }