First-order axiomatization of rough mereology | IEEE Conference Publication | IEEE Xplore