PLEASE WAIT FOR DOWNLOAD "Semi-cartesian product of graphs"