Infinitary Action Logic: Complexity, Models and Grammars | Publicación