A Fast Algorithm for Incremental Distance Calculation Paper by Ming C. Ling and John F. Canny Presented by Denise Jones.
The Sixth NASA Langley Formal Methods Workshop (LFM 2008) 1/15.