A rigorous and efficient explicit algorithm for irreversibility enforcement in phase-field finite element modeling of brittle crack propagation. - Marengo, Alessandro; Patton, Alessia; Negri, Matteo; Perego, Umberto; Reali, Alessandro (Computer Methods in Applied Mechanics & Engineering, 2021)