Mihai Prunescu An Undecidable Property of Recurrent Double Sequences. 143-151 2008 49 Notre Dame Journal of Formal Logic 2 http://projecteuclid.org/euclid.ndjfl/1210859924 db/journals/ndjfl/ndjfl49.html#Prunescu08