Oscar H. Ibarra Chul E. Kim A Useful Device for Showing the Solvability of Some Decision Problems. 153-160 1976 13 J. Comput. Syst. Sci. 2 db/journals/jcss/jcss13.html#IbarraK76