A New Correctness Proof of the Nelson-Oppen Combination Procedure (1996)

by C Tinelli, M Harandi
Venue:In Proc. FroCos 1996, Kluwer Academic Publishers, Applied Logic Series