Creadores en #Procedimientos Automáticos de Deducción