Eitan M. Gurari Oscar H. Ibarra Some Simplified Undecidable and NP-Hard Problems for Simple Programs. 55-73 1982 17 Theor. Comput. Sci. db/journals/tcs/tcs17.html#GurariI82