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