Creadores Top en Razonamiento Automatizado