Discontinuing anticoagulation following successful atrial fibrillation ablation in patients with prior strokes | Synapse