@misc{indiciae36e572c2c500,
  title = {Dynamics and evolution of a magma ocean},
  author = {Stevenson, D. J.},
  year = {1992},
  url = {https://ntrs.nasa.gov/citations/19920019369},
  note = {Source identifier: 19920019369}
}