@unpublished(BGL-JSC10,
 author       = "W. Belkhir and A. Giorgetti and M. Lenczner",
 year         = "December 2010",
 title        = "Rewriting and Symbolic Transformations for Multi-scale Methods",
 note         = "Url: http://arxiv.org/abs/1101.3218v1. Submitted.",
)
@inproceedings(Benanav:1985:CMP,
 author       = "D. Benanav and D. Kapur and P. Narendran",
 year         = "1985",
 title        = "Complexity of matching problems",
 booktitle    = "Proc. of the 1st Int. Conf. on Rewriting Techniques and Applications",
 series       = "LNCS",
 volume       = "202",
 publisher    = "Springer",
 pages        = "417--429",
 doi          = "10.1007/3-540-15976-2\_22",
)
@article(BKKR-IJFCS-2001,
 author       = "P. Borovansk\'y and C. Kirchner and H. Kirchner and C. Ringeissen",
 year         = "2001",
 title        = "Rewriting with strategies in {{\sf ELAN}}: a functional semantics",
 journal      = "{International Journal of Foundations of Computer Science}",
 volume       = "12",
 number       = "1",
 pages        = "69--98",
 doi          = "10.1142/S0129054101000412",
)
@article(CFK07,
 author       = "H. Cirstea and G. Faure and C. Kirchner",
 year         = "2007",
 title        = "A $\rho $-calculus of explicit constraint application",
 journal      = "Higher-Order and Symbolic Computation",
 volume       = "20",
 pages        = "37--72",
 doi          = "10.1007/s10990-007-9004-2",
)
@article(rhoCalIGLP-I+II-2001,
 author       = "H. Cirstea and C. Kirchner",
 year         = "2001",
 title        = "The rewriting calculus --- {Part~I {\em and} II}",
 journal      = "Logic Journal of the Interest Group in Pure and Applied Logics",
 volume       = "9",
 number       = "3",
 pages        = "427--498",
)
@proceedings(MaudeBook07,
 editor       = "M. Clavel and F. Dur{\'a}n and S. Eker and P. Lincoln and N. Mart\'{\i }-Oliet and J. Meseguer and C. L. Talcott",
 year         = "2007",
 title        = "All About Maude - A High-Performance Logical Framework, How to Specify, Program and Verify Systems in Rewriting Logic",
 series       = "LNCS",
 volume       = "4350",
 publisher    = "Springer",
)
@article(Dersh_Ordering82,
 author       = "N. Dershowitz",
 year         = "1982",
 title        = "Ordering for Term-Rewriting Systems",
 journal      = "Theoretical Computer Science",
 volume       = "17",
 pages        = "279--300",
 doi          = "10.1016/0304-3975(82)90026-3",
)
@article(Bipartie-Eker95,
 author       = "S. Eker",
 year         = "1995",
 title        = "AC-Matching Via Bipartite Graph Matching",
 journal      = "Comput. J.",
 volume       = "38",
 number       = "5",
 pages        = "381--399",
 doi          = "10.1093/comjnl/38.5.381",
)
@article(Fast-Eker96,
 author       = "S. Eker",
 year         = "1996",
 title        = "Fast matching in combinations of regular equational theories",
 journal      = "ENTCS",
 volume       = "4",
 pages        = "90--109",
)
@article(Single-Eker02,
 author       = "S. Eker",
 year         = "2002",
 title        = "Single Elementary AC-Matching",
 journal      = "J. Autom. Reasoning",
 volume       = "28",
 number       = "1",
 pages        = "35--51",
 doi          = "10.1023/A:1020122610698",
)
@inproceedings(gramlich-unif88,
 author       = "B. Gramlich",
 year         = "1988",
 title        = "Efficient {AC}-Matching using Constraint Propagation",
 booktitle    = "Proc.\ 2nd Int.\ Workshop on Unification, Internal Report 89 R 38, CRIN",
 address      = "Val d'Ajol, France",
)
@article(Kirchner:2001:Promoting:AC,
 author       = "H. Kirchner and P.-E. Moreau",
 year         = "2001",
 title        = "Promoting rewriting to a programming language: a compiler for non-deterministic rewrite programs in {AC}-theories",
 journal      = "J. Funct. Program.",
 volume       = "11",
 pages        = "207--251",
)
@article(Marti-OlietMV05,
 author       = "N. Mart\'{\i }-Oliet and J. Meseguer and A. Verdejo",
 year         = "2005",
 title        = "Towards a Strategy Language for {Maude}",
 journal      = "Electr. Notes Theor. Comput. Sci.",
 volume       = "117",
 pages        = "417--441",
 doi          = "10.1016/j.entcs.2004.06.020",
)
@book(Terese03,
 author       = "Terese",
 year         = "2003",
 title        = "Term Rewriting Systems",
 series       = "Cambridge Tracts in Theor. Comp. Sci.",
 volume       = "55",
 publisher    = "Cambridge Univ. Press",
)
@inproceedings(Vis01-rta,
 author       = "E. Visser",
 year         = "2001",
 title        = "Stratego: {A} Language for Program Transformation based on Rewriting Strategies. {S}ystem Description of {Stratego} 0.5",
 booktitle    = "Proc. of RTA'01",
 series       = "Lecture Notes in Computer Science",
 volume       = "2051",
 publisher    = "Springer-Verlag",
 pages        = "357--361",
 doi          = "10.1007/3-540-45127-7\_27",
)
@inproceedings(EuroSim11,
 author       = "B. Yang and W. Belkhir and R.N. Dhara and M. Lenczner and A. Giorgetti",
 year         = "2011",
 title        = "Computer--Aided Multiscale Model Derivation for {MEMS} Arrays",
 booktitle    = "{EuroSimE 2011, 13-th Int. Conf. on Thermal, Mechanical and Multi-Physics Simulation and Experiments in Microelectronics and Microsystems}",
 publisher    = "IEEE Computer Society",
 address      = "Linz, Austria",
 note         = "6 pages",
 doi          = "10.1109/ESIME.2011.5765784",
)
@inproceedings(CFM11,
 author       = "B. Yang and R.N. Dhara and W. Belkhir and M. Lenczner and A. Giorgetti",
 year         = "2011",
 title        = "Formal Methods for Multiscale Models Derivation",
 booktitle    = "CFM 2011, 20th Congr\`es Fran\c {c}ais de M\'ecanique",
 note         = "5 pages",
)