Revision history for entry Mints, Grigori: Strong Termination for the Epsilon Substitution Method [MINSTF-2]

NB: for privacy reasons, few details are provided in public revision histories.
TimeTypeNotes
2017-02-21T15:44:12updateSystem / admin update
2017-02-21T10:34:13addSystem / admin update