TY  - RPRT
TI  - Abduction Prover in Isabelle/HOL
AU  - Yutaka Nagashima
AU  - Daniel Sebastian Goc
PY  - 2026
UR  - https://arxiv.org/abs/2606.04877
ID  - 2606.04877
ER  -