Equality reasoning in sequent-based calculi (2001)

by A Degtyarev, A Voronkov
Venue:In Handbook of Automated Reasoning