Automated Theorem Proving in a Combination of Theories with Disjoint Signatures.

Pavel Vanousek

Browse the full SOFSEM paper archive.