Certification of Safe Polynomial Memory Bounds | Publicación