Bounding linear head reduction and visible interaction through skeletons (Logical Methods in Computer Science, 2015)