First-order axiomatization of rough mereology.

Hsing-chien Tsai

Browse the full GRC paper archive.