Wang Y, Bremen T van, Wang Y, Kuželka O. Domain-Lifted Sampling for Universal Two-Variable Logic and Extensions. AAAI [Internet]. 2022Jun.28 [cited 2024May4];36(9):10070-9. Available from: https://ojs.aaai.org/index.php/AAAI/article/view/21246