TSAI, H.- chien. Finitely inseparable first-order axiomatized mereotopological theories. Logic and Logical Philosophy, [S. l.], v. 22, n. 3, p. 347–363, 2013. DOI: 10.12775/LLP.2013.016. Disponível em: https://apcz.umk.pl/LLP/article/view/LLP.2013.016. Acesso em: 4 jul. 2024.