dx.doi.org/10.1093/logcom/ex… recent from @florisbex et al.: On logical specifications of the Argument Interchange Format