Dinis, B., Ferreira, G. (2016). 
	Instantiation overflow. Reports on Mathematical Logic, 2016, 15-33. doi: https://doi.org/10.4467/20842589RM.16.002.5279