A new correctness proof of the Nelson-Oppen combination procedure (1996)

by C Tinelli, M T Harandi
Venue:In Proceedings of the First International Workshop on Frontiers of Combining Systems (FroCoS’1996), volume 3 of Applied Logic Series