Nelson-Oppen theory combination
Nelson-Oppen combination of quantifier-free theories
nelsonoppen.pdf — PDF document, 211 kB (216213 bytes)