Heather Booth Rajeev Govindan Michael A. Langston Siddharthan Ramachandramurthi Fast Algorithms forK4Immersion Testing. 344-378 1999 30 J. Algorithms 2 db/journals/jal/jal30.html#BoothGLR99