@ARTICLE {33247,
author={A.  Peres and J. Ramos and F. Dionísio},
doi={10.1093/logcom/exac042},
journal={Journal of Logic and Computation},
title={Bounded model checking distributed temporal logic},
year={2023},
month={June},
volume={0},
number={0},
pages={1-38},
ISSN={0955-792X}
}