Equality Preprocessing in Connection Calculi. - Benjamin E. Oliver; Jens Otten (PAAR+SC²@IJCAR, 2020)