Graphical Calculi And Their Conjecture Synthesis