TY - RPRT TI - From analytical mechanical problems to rewriting theory through M. Janet AU - Kenji Iohara AU - Philippe Malbos PY - 2019 UR - https://arxiv.org/abs/1801.00053 ID - 1801.00053 ER -