1. Toward a geometry of common sense: a semantics and a complete axiomatization for mereotopology;Asher,1995
2. A categorical axiomatisation of region-based geometry;Bennett;Fundamenta Informaticae,2001
3. Connection structures;Biacino;Notre Dame Journal of Formal Logic,1991
4. Lattice Theory;Birkhoff,1967
5. Lattices and Ordered Algebraic Structures;Blyth,2005