A General Result on Infinite Trees and Its Applications (Preliminary Report)

David Harel

Browse the full STOC paper archive.