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]
@inproceedings{EfstathiouH08:0, title = {Algorithms for Effective Argumentation in Classical Propositional Logic: A Connection Graph Approach}, author = {Vasiliki Efstathiou and Anthony Hunter}, year = {2008}, doi = {10.1007/978-3-540-77684-0_19}, url = {http://dx.doi.org/10.1007/978-3-540-77684-0_19}, tags = {graph-rewriting, logic, rewriting logic, rewriting, systematic-approach}, researchr = {https://researchr.org/publication/EfstathiouH08%3A0}, cites = {0}, citedby = {0}, pages = {272-290}, booktitle = {Foundations of Information and Knowledge Systems, 5th International Symposium, FoIKS 2008, Pisa, Italy, February 11-15, 2008, Proceedings}, editor = {Sven Hartmann and Gabriele Kern-Isberner}, volume = {4932}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {978-3-540-77683-3}, }