The Conjugacy Problem for Higman's Group - Owen Baker (2019)