A rigorous justification of the Mittleman's approach to the Dirac–Fock model. - Meng, Long (Calculus of Variations & Partial Differential Equations, 2024)