PLEASE WAIT FOR DOWNLOAD "Qualitative Spatial Reasoning with Super-Intuitionistic Logics by Paolo"