Generation as deduction on labelled proof nets | Publicación