Petermann, Uwe. 1998. “Theorem Proving With Built-in Hybrid Theories”. Logic and Logical Philosophy 6 (6):77-107. https://doi.org/10.12775/LLP.1998.005.