Petermann, U. Theorem Proving With Built-in Hybrid Theories. LLP 1998, 6, 77-107.