Proving Semantic Properties as First-Order Satisfiability (Extended Abstract) | Publicación