@article{cirstea:hal-01479030, TITLE = {{Faithful (Meta-)Encodings Of Programmable Strategies Into Term Rewriting Systems}}, AUTHOR = {Cirstea, Horatiu and Lenglet, Sergue{\"i} and Moreau, Pierre-Etienne}, URL = {https://inria.hal.science/hal-01479030}, NOTE = {Long version of the corresponding RTA-TLCA 15 paper}, JOURNAL = {{Logical Methods in Computer Science}}, PUBLISHER = {{Logical Methods in Computer Science Association}}, VOLUME = {13}, NUMBER = {4}, PAGES = {1-54}, YEAR = {2017}, MONTH = Nov, DOI = {10.23638/LMCS-13(4:16)2017}, PDF = {https://inria.hal.science/hal-01479030v2/file/1705.08632v2.pdf}, HAL_ID = {hal-01479030}, HAL_VERSION = {v2}, }