@ARTICLE {34505,
author={J. Ramos and J. Rasga and C. Sernadas},
doi={10.1093/jigpal/jzad030},
journal={Logic Journal of the IGPL},
title={Labelled proof systems for existential reasoning},
year={2024},
month={December},
volume={33},
number={1},
pages={173-201},
ISSN={1367-0751}
}