Changwook Kim Ivan Hal Sudborough The Membership and Equivalence Problems for Picture Languages. 177-191 1987 52 Theor. Comput. Sci. db/journals/tcs/tcs52.html#KimS87