1. Aliseda, A. (1997). Seeking Explanations: Abduction in Logic, Philosophy of Science and Artificial Intelligence. Institute for Logic, Language and Computation, Amsterdam.
2. Aliseda, A. (2006). Abductive Reasoning. Logical Investigations into Discovery and Explanation. Springer.
3. Bylander, T., Allemang, D., Tanner, M. C., & Josephson, J. R. (1991). The computational complexity of abduction. Artificial Intelligence, 49(1), 25–60.
4. Chlebowski, S., & Gajda, A. (2017). Abductive question-answer system (AQAS) for classical propositional logic. In H. Christiansen, H. Jaudoin, P. Chountas, T. Andreasen, & H. L. Larsen (Eds.), Lecture Notes in Computer Science (Proceedings of Flexible Query Answering Systems 12th International Conference, vol. 10333, pp. 3–14). Springer.
5. Chlebowski, S., Gajda, A., & Urbański, M. (2022). An abductive question-answer system for the minimal logic of formal inconsistency mbC. Studia Logica, 110, 479–509.