Model-Baded Abduction via Dual Resolution | Publicación