Christopher J. Ash Peter Cholak Julia F. Knight Permitting, Forcing, and Copying of a Given Recursive Relation. 219-236 1997 86 Ann. Pure Appl. Logic 3 db/journals/apal/apal86.html#AshCK97