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