Tsai, Hsing-chien. 2013. „Finitely Inseparable First-Order Axiomatized Mereotopological Theories”. Logic and Logical Philosophy 22 (3):347–363. https://doi.org/10.12775/LLP.2013.016.