GrInvIn for graph theory teaching and research. - Adriaan Peeters; Kris Coolsaet; Gunnar Brinkmann; Nicolas Van Cleemput; Veerle Fack (CTW, 2007)