1. Tomaz Pisanski, Marko Boben, and Arjana Zitnik, Interactive conjecturing with VEGA, Fajtlowicz, Siemion (ed.) et al., Graphs and Discovery, DIMACS Series in Discrete Mathematics and Theoretical Computer Science, vol. 69, American Mathematical Society (AMS), Providence, RI, 2005, pp. 351–364.