Models of Ice Skating for the Development of Robotic Ice Skating Gaits [pdf] (2020)