Publicà unes Investigaciones históricas (1665) i uns Anales del reino de Navarra (1684-1709), en els quals s’ocupa, entre altres temes, del comte Berenguer Ramon I de Barcelona i les seves relacions amb Sanç el Major de Navarra, així com de l’anomenat regne de Sobrarb, contra les opinions de Jerónimo de Blancas.