Mardare, Radu and Policriti, Alberto (2008) Decision problems for Spatial Logics revisited. UNSPECIFIED. (Unpublished)
Mardare, Radu and Policriti, Alberto (2008) Towards a Complete Axiomatization for Spatial Logic. UNSPECIFIED.