A useful device for showing the solvability of some decision problems
scientific article; zbMATH DE number 3529427