Eis uma documentação grosseira da função dfsR:
/* A função dfsR visita todos os vértices do componente do digrafo G que contém o vértice v. A função registra a ordem em que os vértices são visitados atribuindo um número lbl[x] a cada vértice x (se x é o k-ésimo vértice visitado então lbl[x] = k-1). */
Eis a documentação completa e precisa da função dfsR:
/* A função dfsR recebe um digrafo G (representado por sua matriz de adjacências) e um vértice v. A função tem conhecimento de uma variável global conta e um vetor global lbl[], indexado pelos vértices, com valores no conjunto {-1,0,1,..,conta-1}. Digamos que X é o conjunto dos vértices que são término de algum caminho que começa em v e só usa vértices para os quais lbl[] vale -1. A função atribui números conta,conta+1,... aos elementos de X na ordem em que eles são visitados. */