Periodicity and decidability of tilings of Z^2 - Siddhartha Bhattacharya (2016)