A New Correctness Proof of the {Nelson-Oppen} Combination Procedure.

Cesare Tinelli Mehdi T. Harandi

Published in: FroCoS (1996)

Keyphrases

proof procedure
provably correct
theorem proving
real time
artificial intelligence
digital libraries
lower bound
special case
theorem prover