A Useful Device for Showing the Solvability of Some Decision Problems Oscar H. Ibarra Chul E. Kim 135-140 conf/stoc/STOC8 1976 STOC db/conf/stoc/stoc76.html#IbarraK76 http://doi.acm.org/10.1145/800113.803641