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

by G Roşu
Venue:In Proc. 11th ICFP. ACM