Che bello trovare una tua conoscenza citata nel più importante libro di computer science che sia mai scritto, parlo del leggendario "The Art of Computer Programming"!
Con Gabriel Istrate partecipai quasi vent'anni fa (8 giugno 1986...) alla fase provinciale di un concorso di articoli di matematica. Lui vinse il primo premio, io il secondo. E adesso lo trovo citato dal Prof. Donald E. Knuth, vero mostro sacro dell'informatica, alla pagina 59 della bozza del pre-fascicolo 0b ("Boolean Basics") che entrerà nel volume 4A ("Enumeration and Backtracking"). Il risultato di Gabriel tratta delle clausole di Horn - incontrate sicuramente di chi ha studiato Prolog.
Sei un grande, Gabriel!