A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Ricardo Rodrigues, Jan Janoušek, Luís Ferreira, Luísa Coheur, Fernando Batista, Hugo Gonçalo Oliveira. "OASIcs, Volume 74, SLATE'19, Complete Volume." (2019)