Wang, Yuanhong, Timothy van Bremen, Yuyi Wang, and Ondřej Kuželka. 2022. “Domain-Lifted Sampling for Universal Two-Variable Logic and Extensions”. Proceedings of the AAAI Conference on Artificial Intelligence 36 (9):10070-79. https://doi.org/10.1609/aaai.v36i9.21246.