A. Gerevini, J. Renz: "Combining Topological and Size Constraints for Spatial Reasoning"; Artificial Intelligence, 137 (2002), 1-2; 1 - 42.