Automatic theorem proving programs and group presentations. - David Michael Gill (1995)