Ursula Martin: Theorem Proving with Group Presentations: Examples and Questions. CADE 1996: 358-372