Complexity and Definability Issues in LFormula | Publicación