Algorithms for effective argumentation in classical propositional logic (2008)

by V Efstathiou, A Hunter
Venue:in: Proceedings of the International Symposium on Foundations of Information and Knowledge Systems (FOIKS 2008), in: LNCS