Classical limit for semi-relativistic Hartree systems

We consider the three-dimensional semi-relativistic Hartree model for fast quantum mechanical particles moving in a self-consistent field. Under appropriate assumptions on the initial density matrix as a (fully) mixed quantum state we prove, using Wigner transformation techniques, that its classical limit yields the well known relativistic Vlasov-Poisson system. The result holds for the case of attractive and repulsive mean-field interaction, with an additional size constraint in the attractive case.