A useful device for showing the solvability of some decision problems - Ibarra, Oscar H. (Technical report U.P. Natural Science Research Center, 1975)