Hsing-chien Tsai. First-order axiomatization of rough mereology. In Tsau Young Lin, Xiaohua Hu, Zhaohui Wu, Arbee L. P. Chen, Andrei Z. Broder, Howard Ho, Shuliang Wang, editors, 2012 IEEE International Conference on Granular Computing, GrC 2012, Hangzhou, China, August 11-13, 2012. pages 471-474, IEEE Computer Society, 2012. [doi]
Abstract is missing.