TY - RPRT TI - Computer-Aided Derivation of Multi-scale Models: A Rewriting Framework AU - Bin Yang AU - Walid Belkhir AU - Michel Lenczner PY - 2013 UR - https://arxiv.org/abs/1302.2224 ID - 1302.2224 ER -