PP-2001-23: Aiello, Marco and van Benthem, Johan (2001) A Modal Walk Through Space. [Report]
PP-1999-24: Aiello, Marco and van Benthem, Johan (1999) Logical Patterns in Space. [Report]
DS-2002-02: Aiello, Marco (2002) Spatial Reasoning: Theory and Practice. Doctoral thesis, University of Amsterdam.