TY  - RPRT
TI  - Towards a more efficient approach for the satisfiability of two-variable logic
AU  - Ting-Wei Lin
AU  - Chia-Hsuan Lu
AU  - Tony Tan
PY  - 2021
UR  - https://arxiv.org/abs/2104.10621
ID  - 2104.10621
ER  -