Revision history for entry Dawson, Jeremy E. (unknown). "A general theorem on termination of rewriting" [DAWAGT] |
| Time | Type | Notes |
Revision history for entry Dawson, Jeremy E. (unknown). "A general theorem on termination of rewriting" [DAWAGT] |
| Time | Type | Notes |