Y. Wang, T. van Bremen, Y. Wang, and O. Kuželka, “Domain-Lifted Sampling for Universal Two-Variable Logic and Extensions”, AAAI, vol. 36, no. 9, pp. 10070-10079, Jun. 2022.