@article{endrullis-hendriks-bakhshi-rosu-2014-jfp, author = {Endrullis, J\"{o}rg and Hendriks, Dimitri and Bakhshi, Rena and Ro\c{s}u, Grigore}, journal = "Journal of Functional Programming", doi = "http://dx.doi.org/10.1017/S0956796813000324", year = "2014, to appear", title = "On the Complexity of Stream Equality" }