Proving semantic properties as first-order satisfiability | Publicación