W. Belkhir and A. Giorgetti, Lazy AC-Pattern Matching for Rewriting, Proceedings 10th International Workshop on Reduction Strategies in Rewriting and Programming, WRS 2011, pp.29-37, 2011.
DOI : 10.4204/EPTCS.82.3

URL : https://hal.archives-ouvertes.fr/hal-00756343

A. Bensoussan, J. Lions, and G. Papanicolaou, Asymptotic analysis for periodic structures, of Studies in Mathematics and its Applications, 1978.

P. Borovansky, C. Kirchner, H. Kirchner, and C. Ringeissen, REWRITING WITH STRATEGIES IN $\mathsf{ELAN}$: A FUNCTIONAL SEMANTICS, International Journal of Foundations of Computer Science, vol.12, issue.01, pp.69-95, 2001.
DOI : 10.1142/S0129054101000412

R. Bündgen, Combining computer algebra and rule based reasoning, Proceedings of The International Conference on Integrating Symbolic Mathematical Computation and Artificial Intelligence, pp.209-223, 1995.
DOI : 10.1007/3-540-60156-2_15

J. Casado-díaz, Two-scale convergence for nonlinear Dirichlet problems in perforated domains, Proceedings of the Royal Society of Edinburgh: Section A Mathematics, vol.130, issue.02, pp.249-276, 2000.
DOI : 10.1017/S0308210500000147

D. Cioranescu, A. Damlamian, and G. Griso, Periodic unfolding and homogenization, Comptes Rendus Mathematique, vol.335, issue.1, pp.99-104, 2002.
DOI : 10.1016/S1631-073X(02)02429-9

D. Cioranescu, A. Damlamian, and G. Griso, The Periodic Unfolding Method in Homogenization, SIAM Journal on Mathematical Analysis, vol.40, issue.4, pp.1585-1620, 2008.
DOI : 10.1137/080713148

URL : https://hal.archives-ouvertes.fr/hal-00693080

H. Cirstea and C. Kirchner, The rewriting calculus - part II, Logic Journal of IGPL, vol.9, issue.3, pp.427-498, 2001.
DOI : 10.1093/jigpal/9.3.377

URL : https://hal.archives-ouvertes.fr/inria-00100532

H. Cirstea, C. Kirchner, and L. Liquori, The Rho Cube, Foundations of Software Science and Computation Structures, pp.168-183, 2001.
DOI : 10.1007/3-540-45315-6_11

URL : https://hal.archives-ouvertes.fr/inria-00107877

6. Cirstea, H. Kirchner, C. Liquori, L. Wack, and B. , Rewrite Strategies in the Rewriting Calculus, Electronic Notes in Theoretical Computer Science, pp.18-34, 2003.
DOI : 10.1016/S1571-0661(05)82613-1

URL : https://hal.archives-ouvertes.fr/inria-00099586

M. Clavel, F. Durán, S. Eker, P. Lincoln, N. Martí-oliet et al., All About Maude -A High-Performance Logical Framework, How to Specify, Program and Verify Systems in Rewriting Logic, LNCS, vol.4350, 2007.

R. Dautray and J. Lions, Mathematical analysis and numerical methods for science and technology, 1990.

F. `-evre, S. Wang, and D. , Combining algebraic computing and term-rewriting for geometry theorem proving Introduction to type theory, Artificial Intelligence and Symbolic Computation Language Engineering and Rigorous Software Development, pp.145-156, 1998.

M. Lenczner, Homogénéisation d'un circuitélectriquecircuitélectrique, C. R. Acad. Sci. Paris Sér. II b, vol.324, issue.9, pp.537-542, 1997.

M. Lenczner and G. Senouci-bereksi, HOMOGENIZATION OF ELECTRICAL NETWORKS INCLUDING VOLTAGE-TO-VOLTAGE AMPLIFIERS, Mathematical Models and Methods in Applied Sciences, vol.09, issue.06, pp.899-932, 1999.
DOI : 10.1142/S0218202599000415

M. Lenczner and R. C. Smith, A two-scale model for an array of AFM???s cantilever in the static case, Mathematical and Computer Modelling, vol.46, issue.5-6, pp.5-6, 2007.
DOI : 10.1016/j.mcm.2006.12.028

M. Marin and F. Piroi, Rule-based programming with mathematica, Sixth Mathematica Symposium, pp.1-6, 2004.

B. Yang, W. Belkhir, R. N. Dhara, M. Lenczner, and A. Giorgetti, Computer-aided multiscale model derivation for MEMS arrays, 2011 12th Intl. Conf. on Thermal, Mechanical & Multi-Physics Simulation and Experiments in Microelectronics and Microsystems, 2011.
DOI : 10.1109/ESIME.2011.5765784

B. Yang, R. N. Dhara, W. Belkhir, M. Lenczner, and A. Giorgetti, Formal methods for multiscale models derivation, CFM 2011, 20-th Congrès Français de Mécanique, 2011.
URL : https://hal.archives-ouvertes.fr/hal-01223779

#. Warning, Do not include the following rule in the same strategy as a # factorization rule. May loop forever! SumDistrib

. Linearitybasic, = Linearity(1,x->y->x+y, TS(_)