Richard M. Karp, Orli Waarts, Geoffrey Zweig: The Bit Vector Intersection Problem (Preliminary Version). FOCS 1995: 621-630