TY  - RPRT
TI  - Abduction and Dialogical Proof in Argumentation and Logic Programming
AU  - Richard Booth
AU  - Dov Gabbay
AU  - Souhila Kaci
AU  - Tjitze Rienstra
AU  - Leendert van der Torre
PY  - 2014
UR  - https://arxiv.org/abs/1407.3896
ID  - 1407.3896
ER  -