“Contact formulation for general contact in Abaqus/Explicit,” Section 36.2.1
“Contact formulations for contact pairs in Abaqus/Explicit,” Section 36.2.2
“Contact constraint enforcement methods in Abaqus/Explicit,” Section 36.2.3