@misc {IOPORT.70677560,
    author       = {Efstathiou, Vasiliki and Hunter, Anthony},
    title        = {Algorithms for effective argumentation in classical propositional logic: A connection graph approach},
    howpublished = {FoIKS, 272-290 (2008).},
    year         = {2008},
    doi          = {10.1007/978-3-540-77684-0_19},
    identifier   = {70677560},
}