Philippe Besnard, Anthony Hunter: Practical First-Order Argumentation. AAAI 2005: 590-595