The GJK Distance Algorithm: An Interval Version for Incremental Motions
V-Clip: fast and robust polyhedral collision detection