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

by Cesare Tinelli , Mehdi Harandi
Venue:Frontiers of Combining Systems, volume 3 of Applied Logic Series
Citations:74 - 4 self