Satogaeri, Hebi, and Suraromu Are NP-Complete. - Shohei Kanehiro; Yasuhiko Takenaga (ACIT-CSI, 2015)