From Safety To Termination And Back: SMT-Based Verification For Lazy Languages | Publicación