Fig. 3From: Compression-distraction reduction surgical verification and optimization to treat the basilar invagination and atlantoaxial dislocation: a finite element analysisLigament stress-displacement curve. a Actual stress-displacement curve. b Finite element spring input stress-displacement curve, such as the AP ligamentBack to article page