Jörg Endrullis, Dimitri Hendriks, Rena Bakhshi. On the complexity of equivalence of specifications of infinite objects. In Peter Thiemann, Robby Bruce Findler, editors, ACM SIGPLAN International Conference on Functional Programming, ICFP'12, Copenhagen, Denmark, September 9-15, 2012. pages 153-164, ACM, 2012. [doi]
Abstract is missing.