BibTeX

@inproceedings{SGGM-HOR2016,
author    = "Stephane Gimenez and Georg Moser",
title     = "Running Interaction Nets on Random Access Machines",
booktitle = "Proceedings of the 8th International Workshop on Higher-Order
             Rewriting",
year      = 2016
}