@INPROCEEDINGS {
	AUTHOR = "Tom{\'a}s Diaz and Federico Olmedo and {\'E}ric Tanter",
	TITLE = "A Mechanized Formalization of GraphQL",
	BOOKTITLE = "9th ACM SIGPLAN International Conference on Certified Programs and Proofs (CPP)",
	PAGES = "201-214",
	YEAR = "2020",
	PUBLISHER = "ACM Press",
	}