Vasiliki Efstathiou, Anthony Hunter. Algorithms for Effective Argumentation in Classical Propositional Logic: A Connection Graph Approach. In Sven Hartmann, Gabriele Kern-Isberner, editors, Foundations of Information and Knowledge Systems, 5th International Symposium, FoIKS 2008, Pisa, Italy, February 11-15, 2008, Proceedings. Volume 4932 of Lecture Notes in Computer Science, pages 272-290, Springer, 2008. [doi]
Abstract is missing.