@ARTICLE {33218,
author={J. Rasga and C. Sernadas},
doi={10.1093/logcom/exab074},
journal={Journal of Logic and Computation},
title={Adding abductive reasoning to a propositional logic},
year={2022},
month={June},
volume={32},
number={4},
pages={697-728},
ISSN={0955-792X}
}