[FOM] Need statement of Conway/Gauntt result on finite choice axioms

[joeshipman@aol.com]

Forster recently referred to work done by Conway about 35 years ago, 
analyzing the logical relations between finite choice axioms of the 
form "Every collection of n-element sets has a choice function". There 
were two kinds of implication involved, "effective" and "ineffective". 
This work was completed by Gauntt. 
 
I can't find any statement of the results online. Can someone with 
access to a good library please post a precise statement of Conway's 
and Gauntt's findings? 
 
-- Joseph Shipman