Two-Dimensional Alternating Turing Machines with Only Universal States Akira Ito Katsushi Inoue Itsuo Takanami Hiroshi Taniguchi 193-221 Information and Control October/November/December 1982 55 1-3 db/journals/iandc/iandc55.html#ItoITT82