Towards a more efficient approach for the satisfiability of two-variable logic.

Ting-Wei Lin, Chia-Hsuan Lu, Tony Tan

Browse the full LICS paper archive.