1. Thotsaphon Thongjunthug, Computing a lower bound for the canonical height on elliptic curves over totally real number fields, Algorithmic Number Theory, Lecture Notes in Computer Science, vol. 5011, Springer, 2008, pp. 139-152.