:pdf/CS/LITLAGMPROCEEDINGS27092016.pdf