@conference {383,
	title = {CHC Model Validation with Proof Guarantees},
	booktitle = {18th International Conference on integrated Formal Methods (iFM23)},
	year = {2023},
	url = {https://doi.org/10.1007/978-3-031-47705-8_4},
	author = {Rodrigo Otoni and Martin Blicha and Patrick Eugster and Natasha Sharygina}
}
