A lower bound for K^2_S - Vincenzo Di Gennaro; Davide Franco (2016)