Superposition modulo a Shostak theory (2003)

by Hillenbrand, U Waldmann
Venue:Automated Deduction (CADE-19), volume 2741 of LNAI