Dora Giammarresi Antonio Restivo Sebastian Seibert Wolfgang Thomas Monadic Second-Order Logic Over Rectangular Pictures and Recognizability by Tiling Systems. 32-45 1996 125 Inf. Comput. 1 db/journals/iandc/iandc125.html#GiammarresiRST96