A proof of Hilbert's theorem on ternary quartic forms - Xu, Jia (Array, 2019)