U. Petermann, “Theorem proving with built-in hybrid theories”, LLP, vol. 6, no. 6, pp. 77–107, Nov. 1998.