Klaus-Jörn Lange Decompositions of Nondeterministic Reductions. 175-181 1988 58 Theor. Comput. Sci. db/journals/tcs/tcs58.html#Lange88