A Generic Framework for Implicate Generation Modulo Theories.

Mnacho Echenim, Nicolas Peltier, Yanis Sellami

Browse the full CADE paper archive.