Automating the Analysis of Spatial Grids by Valliappa Lakshmanan