PETERMANN, Uwe. Theorem proving with built-in hybrid theories. Logic and Logical Philosophy. Online. 6 November 1998. Vol. 6, no. 6, pp. 77-107. [Accessed 6 July 2025]. DOI 10.12775/LLP.1998.005.