Non trovi nulla (o molto poco) perche' usi un termine vetusto (tricotomia).
Quello che hai descritto e' una normale ricerca binaria su un vettore ordinato.
La relazione tricotomica non e' altro che un ordinamento totale, in cui esiste un minimo (che puo' essere -infinity), un massimo (eventualmente +infinity) ed esiste un ordine tra due qualunque elementi dell'insieme.
Attenzione, se si vuole essere piu' precisi, e' un ordinamento totale tra classi di equivalenza, visto che da nessuna parte e' detto che la relazione 'a==b' e' valida solo se a e b sono lo stesso oggetto, ma potrebbero essere oggetti diversi ma appartenenti alla stessa classe di equivalenza
Comunque, incredibile ma vero, la ricerca binaria non e' l'algoritmo piu' efficiente di ricerca in un vettore ordinato. Esiste un sistema piu' efficiente.