Resolution-Based Decision Procedure for the Two-Variable Fragment with Equality -- A