DL Abduction API v2 and GUI Interface (Extended Abstract). - Jakub Kloc; Martin Homola; Júlia Pukancová (Description Logics, 2023)

Towards CATS: A Modular ABox Abduction Solver Based on Black-Box Architecture (Extended Abstract). - Janka Boborová; Jakub Kloc; Martin Homola; Júlia Pukancová (Description Logics, 2024)