Automating the Analysis of Spatial Grids door Valliappa Lakshmanan