Paul J. Heffernan Stefan Schirra Approximate Decision Algorithms for Point Set Congruence. 137-156 1994 4 Comput. Geom. db/journals/comgeo/comgeo4.html#HeffernanS94