Cycling in proofs and feasibility (2000)

by A Carbone
Venue:Trans. Am. Math. Soc