DMCA

Soft typing for ordered resolution

by Harald Ganzinger , Christoph Meyer , Christoph Weidenbach
Venue:IN `PROCEEDINGS OF THE 14TH INTERNATIONAL CONFERENCE ON AUTOMATED DEDUCTION, CADE-14
Citations:17 - 6 self