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