Danvy, O. and López, P.E.M. 2003. RS-2 Tagging, Encoding, and Jones Optimality. BRICS Report Series. 10, 2 (Jan. 2003). DOI:https://doi.org/10.7146/brics.v10i2.21773.