Revision history for entry Mints, Grigori (1996). "Strong termination for the epsilon substitution method" [MINSTF]

NB: for privacy reasons, few details are provided in public revision histories.
TimeTypeNotes
2014-04-01T08:58:23updateSystem / admin update -
2013-11-22T12:09:10updateSystem / admin update -
2013-11-04T10:50:47updateSystem / admin update -