Tsai H- chien. Finitely inseparable first-order axiomatized mereotopological theories. LLP [Internet]. 2013 Jun. 11 [cited 2024 Jul. 4];22(3):347–363. Available from: https://apcz.umk.pl/LLP/article/view/LLP.2013.016