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

NB: for privacy reasons, few details are provided in public revision histories.
TimeTypeNotes