PETERMANN, U. Theorem proving with built-in hybrid theories. Logic and Logical Philosophy, [S. l.], v. 6, n. 6, p. 77–107, 1998. DOI: 10.12775/LLP.1998.005. Disponível em: https://apcz.umk.pl/LLP/article/view/LLP.1998.005. Acesso em: 18 jul. 2024.