Yutaka Nagashima: Abduction Prover in Isabelle/HOL External Video-URL https://www.youtube.com/watch?v=9AlqFnc8QTY Preview-Image Search Engine Exclude no
