Combining Decision Procedures for Sorted Theories.

Cesare Tinelli, Calogero G. Zarba

Browse the full JELIA paper archive.