de Silva, L., Meneguzzi, F., & Logan, B. (2018). An operational semantics for a fragment of PRS.