Fixed points vs. infinite generation (0)

by D Niwinski
Venue:In LICS 1988