Should prophylactic cholecystectomy be performed in patients with concomitant gallstones after endoscopic sphincterotomy for bile duct stones? - Heo, J; Jung, M K; Cho, C M (Surg Endosc, 2015)