@inproceedings{RMM2014,
 author = {Camilo Rocha and Jos\'{e} Meseguer and C\'{e}sar Mu{\~{n}}oz},
 title = {Rewriting Modulo {SMT} and Open System Analysis},
 booktitle = {Proceedings of the 10th International Workshop on Rewriting Techniques and Applications (WRLA2014)},
 series = "Lecture Notes in Computer Science",
 editor = "Santiago Escobar",
 volume = "8663",
 pages = "247--262",
 address = "Grenoble, France",
 year = "2014",
 publisher = "Springer"
}