BibTex format
@inproceedings{Tirsi:2023:10.1007/978-3-031-47546-7_1,
author = {Tirsi, C-G and Proietti, M and Toni, F},
doi = {10.1007/978-3-031-47546-7_1},
publisher = {Springer Nature},
title = {ABALearn: an automated logic-based learning system for ABA frameworks},
url = {http://dx.doi.org/10.1007/978-3-031-47546-7_1},
year = {2023}
}