Haifani, Fajar Automation of Logic, MPI for Informatics, Max Planck Society; International Max Planck Research School, MPI for Informatics, Max Planck Society;
https://scidok.sulb.uni-saarland.de/handle/20.500.11880/35608 (Any fulltext)
Haifani, F. (2023). On a Notion of Abduction and Relevance for First-Order Logic Clause Sets. PhD Thesis, Universität des Saarlandes, Saarbrücken. doi:10.22028/D291-39393.