@doctoralThesis{Haifani_2022,
title={On a notion of abduction and relevance for first-order logic clause sets},
author={Haifani, Fajar},
doi={http://dx.doi.org/10.22028/D291-39393},
year={2022}
}