On logical specifications of the Argument Interchange Format

Floris Bex, Sanjay Modgil, Henry Prakken, Chris Reed. On logical specifications of the Argument Interchange Format. Journal of Logic and Computation, 23(5):951-989, 2013. [doi]

Abstract

Abstract is missing.