:pdf/CS/LITLAGMPROCEEDINGS2017.pdf