Superposition modulo a Shostak theory (2003)

Cached

Download Links

by Harald Ganzinger , Thomas Hillenbrand , Uwe Waldmann
Venue:AUTOMATED DEDUCTION (CADE-19), VOLUME 2741 OF LNAI
Citations:2 - 0 self