Petermann, Uwe. “Theorem Proving With Built-in Hybrid Theories”. Logic and Logical Philosophy, vol. 6, no. 6, Nov. 1998, pp. 77-107, doi:10.12775/LLP.1998.005.