Jérémy Barbay Claire Kenyon Alternation and redundancy analysis of the intersection problem. 2008 4 ACM Transactions on Algorithms 1 http://doi.acm.org/10.1145/1328911.1328915 db/journals/talg/talg4.html#BarbayK08