Equality of streams is a Π02-complete problem (0)

by G Roşu
Venue:ICFP ’06. ACM (2006