Pavel Vanousek: Automated Theorem Proving in a Combination of Theories with Disjoint Signatures. SOFSEM 1998: 443-452