Assertion-level proof representation with under-specification (0)

by S Autexier, C Benzmüller, A Fiedler, H Horacek, Q B Vo
Venue:Electr. Notes Theor. Comput. Sci