| Original language | Undefined/Unknown |
|---|---|
| Journal | Logic Group preprint series |
| Volume | 153 |
| Publication status | Published - 1996 |
Termination modulo equations by abstract commutation with an application to iteration
W.J. Fokkink, H. Zantema
Research output: Contribution to journal › Article › Academic › peer-review