Approximate formulae for a logic that capture classes of computational complexity | Publicación