M. Gebser and T. Schaub, “Modeling and Language Extensions”, AIMag, vol. 37, no. 3, pp. 33-44, Oct. 2016.