@Article{J8,
  key    =       {J08},
  author = 	 {Serge Autexier and  Christoph Benzm{\"u}ller and
   Armin Fiedler and Helmut Horacek and Bao Quoc  Vo},
  title = 	 {Assertion-level Proof Representation with Under-Specification},
  journal = 	 {Electronic Notes in Theoretical Computer Science},
  year = 	 2004,
  pages =        {5-23},
  volume =       {93},
  note = {doi:10.1016/j.entcs.2003.12.026},
}