Grigore Rosu Equality of streams is a Pi0 over 2-complete problem. 184-191 2006 conf/icfp/2006 ICFP http://doi.acm.org/10.1145/1159803.1159827 db/conf/icfp/icfp2006.html#Rosu06