BibTex format
@article{Leofante:2023:10.3233/SAT-220001,
author = {Leofante, F},
doi = {10.3233/SAT-220001},
journal = {Journal of Satisfiability, Boolean Modeling and Computation},
pages = {17--23},
title = {OMTPlan: a tool for optimal planning modulo theories},
url = {http://dx.doi.org/10.3233/SAT-220001},
volume = {14},
year = {2023}
}