A Useful Device for Showing the Solvability of Some Decision Problems

Oscar H. Ibarra, Chul E. Kim

Browse the full STOC paper archive.