@inproceedings{Dilkas_2023,
    series = {KR-2023},
    title = {Synthesising Recursive Functions for First-Order Model Counting: Challenges, Progress, and Conjectures},
    url = {http://dx.doi.org/10.24963/kr.2023/20},
    doi = {10.24963/kr.2023/20},
    booktitle = {Proceedings of the Twentieth International Conference on Principles of Knowledge Representation and Reasoning},
    publisher = {International Joint Conferences on Artificial Intelligence Organization},
    author = {Dilkas, Paulius and Belle, Vaishak},
    year = {2023},
    month = {sep},
    pages = {198–207},
    collection = {KR-2023},
    date-added = {2025-2-19 7:12:40 +0100}
}

@inproceedings{Dilkas_2023, series = {KR-2023}, title = {Synthesising Recursive Functions for First-Order Model Counting: Challenges, Progress, and Conjectures}, url = {http://dx.doi.org/10.24963/kr.2023/20}, doi = {10.24963/kr.2023/20}, booktitle = {Proceedings of the Twentieth International Conference on Principles of Knowledge Representation and Reasoning}, publisher = {International Joint Conferences on Artificial Intelligence Organization}, author = {Dilkas, Paulius and Belle, Vaishak}, year = {2023}, month = {sep}, pages = {198–207}, collection = {KR-2023}, date-added = {2025-2-19 7:12:40 +0100} }