An Inference Algorithm for Guaranteeing Safe Destruction | Publicación