On logical specifications of the Argument Interchange Format. - Bex, Floris; Modgil, Sanjay; Prakken, Henry; Reed, Chris (Journal of Logic & Computation, 2013)