A kinematic model to constrain slip in soft body peristaltic locomotion | IEEE Conference Publication | IEEE Xplore