Verifying Smart Contracts in Yul via Transformation to CHC by Interpreter Specialization | Publicación