O catálogo da biblioteca pode ser consultado aqui. A pesquisa pode ser efetuada da seguinte forma:

Pesquisa livre - permite um número de resultados mais abrangente, podendo todavia utilizar-se os operadores booleanos “and”, “or” ou “not”. Por defeito, o programa apresenta sempre um resultado máximo de 250 documentos.

Por termos - o utilizador é direcionado para a conjugação dos termos através dos quais se pretende efetuar a pesquisa. É uma forma de pesquisa mais eficiente, obtendo-se em regra um número mais restrito de documentos como resultado.

Por campo – quando se conhece o conteúdo exato do campo a pesquisar (por exemplo o ISBN, o autor, a editora, etc.).

Por descritores – a pesquisa é feita por um assunto determinado, por exemplo, uma figura jurídica específica (ónus da prova).