Martin Cripps, John Darlington, A. J. Field, Peter G. Harrison, Mike Reeve
Information from pubs.doc.ic.ac.uk/alice-graph-reduction.