Efficient Algorithms for Polyhedron Collision Detection - Joseph, Deborah A; Plantinga, William H (University of Wisconsin-Madison Department of Computer Sciences, 1987)