Wang, Y., Bremen, T. van, Wang, Y., & Kuželka, O. (2022). Domain-Lifted Sampling for Universal Two-Variable Logic and Extensions. Proceedings of the AAAI Conference on Artificial Intelligence, 36(9), 10070-10079. https://doi.org/10.1609/aaai.v36i9.21246