Petermann, U. (1998). Theorem proving with built-in hybrid theories. Logic and Logical Philosophy, 6(6), 77–107. https://doi.org/10.12775/LLP.1998.005