Ting-Wei Lin, Chia-Hsuan Lu, Tony Tan: Towards a more efficient approach for the satisfiability of two-variable logic. LICS 2021: 1-13