Short Term Warfarin Therapy for Radiofrequency Catheter Ablation of Atrial Fibrillation | NCT01991951 | Trialant