Vol-3184⫷ Vol-3185 ⫸Vol-3186
urn:nbn:de:0074-3185-0


Vol-3185/paper1180⫷Vol-3185/paper9527⫸Vol-3185/extended6630

A Simple Proof Format for SMT