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