@InProceedings{PB+23,
    Author       = "Parsert, J. and Brown, C. and Janota, M. and Kaliszyk, C.",
    Year         = "2023",
    Title        = "{Experiments on Infinite Model Finding in SMT Solving}",
    Editor       = "Piskac, R. and Voronkov, A.",
    BookTitle    = "{Proceedings of 24th International Conference on Logic
                    for Programming Artificial Intelligence and Reasoning}",
    Place        = "Manizales, Colombia",
    Series       = "EPiC Series in Computing",
    Number       = "94",
    Pages        = "317-328",
    Publisher    = "EasyChair Publications",
    Comment      = "TPTPCite"
}