ICS: Integrated Canonizer and Solver (2001)

by J-C Filliâtre, S Owre, H Rueß, N Shankar
Venue:In Proc. CAV’01, volume 2102 of LNCS