Hybrid MHS-MXP ABox Abduction Solver: First Empirical Results. - Martin Homola; Júlia Pukancová; Iveta Balintová; Janka Boborová (Description Logics, 2022)

Merge, Explain, Iterate: A Combination of MHS and MXP in an ABox Abduction Solver (Extended Abstract). - Janka Boborová; Iveta Balintová; Júlia Pukancová; Martin Homola (Description Logics, 2023)

Merge, Explain, Iterate: A Combination of MHS and MXP in an ABox Abduction Solver. - Martin Homola; Júlia Pukancová; Janka Boborová; Iveta Balintová (JELIA, 2023)