“Contact formulation for general contact in Abaqus/Explicit,” Section 37.2.1
“Contact formulations for contact pairs in Abaqus/Explicit,” Section 37.2.2
“Contact constraint enforcement methods in Abaqus/Explicit,” Section 37.2.3