@INPROCEEDINGS {
	AUTHOR = "Marcelo Arenas and Daniel Baez and Pablo Barcel{\'o} and Jorge P{\'e}rez and Bernardo Subercaseaux",
	TITLE = "Foundations of Symbolic Languages for Model Interpretability",
	BOOKTITLE = "35th Advances in Neural Information Processing Systems (NeurIPS)",
	YEAR = "2021",
	}