Lian Li, Ma Jun, Song Ling. A Formal Study on the Transitivity of the Part-Whole Relations. In 2006 International Conference on Computational Intelligence for Modelling Control and Automation (CIMCA 2006), International Conference on Intelligent Agents, Web Technologies and Internet Commerce (IAWTIC 2006), 29 November - 1 December 2006, Sydney, Aus. pages 129, IEEE Computer Society, 2006. [doi]
Abstract is missing.