Seth Breidbart On Splitting Recursive Sets. 56-64 1978 17 J. Comput. Syst. Sci. 1 db/journals/jcss/jcss17.html#Breidbart78