Si no ma infatti all'inizio avevo postato il problema sul forum di PHP, poi avendomi indicato che forse avrei dovuto rilevare la pressione dei pulsanti della finestra contestuale del browser ho pubblicato la domanda anche qua.

Stavo pensando che l'unica soluzione pulita sarebbe di appoggiarsi ai log del server (come fanno i vari tool per le statistiche) ma ovviamente è troppo sbattimento.

Inoltre comunque non avrei una corrispondeza UTENTE->DOCUMENTO ma solo IP->DOCUMENTO.