Theorem Proving with Group Presentations: Examples and Questions.

Ursula Martin

Browse the full CADE paper archive.