Óscar Martín, Alberto Verdejo, Narciso Martí-Oliet. Compositional Specification in Rewriting Logic. TPLP, 20(1):44-98, 2020. [doi]
@article{MartinVM20, title = {Compositional Specification in Rewriting Logic}, author = {Óscar Martín and Alberto Verdejo and Narciso Martí-Oliet}, year = {2020}, doi = {10.1017/S1471068419000425}, url = {https://doi.org/10.1017/S1471068419000425}, researchr = {https://researchr.org/publication/MartinVM20}, cites = {0}, citedby = {0}, journal = {TPLP}, volume = {20}, number = {1}, pages = {44-98}, }