@unpublished{dowek:hal-04060154, TITLE = {{Execution traces and reduction sequences}}, AUTHOR = {Dowek, Gilles}, URL = {https://inria.hal.science/hal-04060154}, NOTE = {working paper or preprint}, YEAR = {2018}, PDF = {https://inria.hal.science/hal-04060154/file/traces.pdf}, HAL_ID = {hal-04060154}, HAL_VERSION = {v1}, }