Klaus-Jörn Lange Decompositions of Nondeterministic Reductions (Extended Abstract). 206-214 1986 conf/icalp/1986 ICALP db/conf/icalp/icalp86.html#Lange86 http://dx.doi.org/10.1007/3-540-16761-7_70