G. Alberti and J. Kleiber, “Grammar of ReALIS and the Implementation of its Dynamic Interpretation”, IJCAI, vol. 34, no. 1.