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

by Serge Autexier , Christoph Benzmüller , Armin Fiedler , Helmut Horacek , Bao Quoc Vo
Citations:16 - 8 self