Book Section

Gutierrez-Santos, Sergio and Pearce, D. and Geraniou, E. and Mavrikis, M. (2008) Supporting reasoning and problem-solving in mathematical generalisation with dependency graphs. In: Stapleton, G. and Howse, J. and Lee, J. (eds.) Diagrammatic Representation and Inference. Lecture Notes in Computer Science 5223. Berlin, Germany: Springer Verlag, pp. 374-377. ISBN 9783540877301.