Wang, Y.; Bremen, T. van; Wang, Y.; Kuželka, O. Domain-Lifted Sampling for Universal Two-Variable Logic and Extensions. AAAI 2022, 36, 10070-10079.