Deciding equality formulas by small domains instantiations. (1999)

by A Pnueli, Y Rodeh, O Shtrichman, M Siegel
Venue:In Computer Aided Verification (CAV’99)