Collaborations between Hideo Murota and Kiyoshi Hasegawa