The cost of a cycle is a square (1997)

by A Carbone
Venue:J. Symbolic Logic