BibTex format
@inproceedings{Leofante:2023:kr.2023/78,
author = {Leofante, F and Botoeva, E and Rajani, V},
doi = {kr.2023/78},
pages = {763--768},
publisher = {IJCAI Organization},
title = {Counterfactual explanations and model multiplicity: a relational verification view},
url = {http://dx.doi.org/10.24963/kr.2023/78},
year = {2023}
}