@article {336,
	title = {A canonical proof-theoretic approach to model theory},
	year = {2013},
	author = {Carlos Gustavo L{\'o}pez Pombo and Paula Chocron and Ignacio Vissani and Thomas S.E. Maibaum}
}