| Original language | English |
|---|---|
| Publication status | Published - 1996 |
Theorem Proving with Group Presentations: Examples and Questions
Research output: Contribution to conference › Paper
Research output: Contribution to conference › Paper
| Original language | English |
|---|---|
| Publication status | Published - 1996 |