\input zb-basic
\input zb-ioport
\iteman{io-port 70677560}
\itemau{Efstathiou, Vasiliki; Hunter, Anthony}
\itemti{Algorithms for effective argumentation in classical propositional logic: A connection graph approach}
\itemso{FoIKS, 272-290 (2008).}
\itemcc{}
\itemut{}
\itemli{doi:10.1007/978-3-540-77684-0\_19}
\end