J.E. Santo
M.J. Frade
L. Pinto
Year of publication: 2018
Volume: 97
Other: 2-s2.0-85057013371
DOI: 10.4230/LIPIcs.TYPES.2016.10