@INPROCEEDINGS{ClavelEtAl11,
  author =       {Manuel Clavel and Narciso Mart{\'\i}-Oliet and 
                  Miguel Palomino},
  title =        {Parameterized Metareasoning in Membership Equational
                  Logic},
  editor =       {Gul Agha and Olivier Danvy and Jos{\'e} Meseguer},
  booktitle =    {Formal Modeling: Actors, Open Systems Biological Systems.
                  Essays Dedicated to Carolyn Talcott on the Occasion of Her
                  70th Birthday},
  publisher =    {Springer},
  series =       {Lecture Notes in Computer Science},
  year =         2011,
  volume =       7000,
  pages =        {277-298}
}