Cycling in proofs and feasibility (1998)

by A. Carbone
Venue:Transactions of the American Mathematical Society