1: \begin{abstract}

2: We herein present a {\it first-principles} formulation of the {\it Green-Kubo} method that allows the accurate

3: assessment of the phonon thermal conductivity of solid semiconductors and insulators in equilibrium {\it ab initio molecular dynamics} 

4: calculations. Using the virial for the nuclei, we propose a unique {\it ab initio} definition of the heat flux.

5: Accurate size- and time convergence are achieved within moderate computational effort by a robust, asymptotically

6: exact extrapolation scheme. We demonstrate the capabilities of the technique by investigating the thermal conductivity of 

7: extreme high and low heat conducting materials, namely diamond Si and tetragonal ZrO$_2$.

8: \end{abstract}

9: