The high-density nuclear equation of state within the Brueckner-Hartree-Fock approach is discussed, with particular attention to the effects of nucleonic three-body forces, the presence of hyperons, and the joining with an eventual quark matter phase. The resulting properties of neutron stars, in particular the mass-radius relation, are determined. It turns out that in this approach stars heavier than about 1.4 solar masses contain necessarily quark matter.