As with the Klein-Gordon field, we can alternatively derive the Feynman rules with the free Dirac theory by means of a generating functional. In analogy with the scalar field theory where $Z[J]$ is defined as$$Z[J] \equiv \mathcal{D}\phi\,\text{exp}\left[ i \int d^4x\left[\mathcal{L} + J(x)\phi(x)\right]\right],$$we define the Dirac generating functional as$$\require{slashed} Z[\overline{\eta}, \eta] = \int \mathcal{D} \overline{\psi}\,\mathcal{D}\psi\,\text{exp}\left[i \int d^4x[\overline{\psi}(i \partial\kern-0.5em\raise0.22ex\hbox{/} - m)\psi + \overline{\eta}\psi + \overline{\psi}\eta]\right],$$where $\eta(x)$ is a Grassmann-valued source field. It is not too hard to see that$$Z[\overline{\eta}, \eta] = Z_0 \cdot \text{exp}\left[ - \int d^4 x \,d^4y\,\overline{\eta}(x)S_F(x - y)\eta(y)\right].$$
To me, this is not so clear. Why does this follow?