Title: Diccionario histórico, ó Biografia universal compendiada [ed. by N. Oliva].