Marogna, Emanuele and Giacobazzi, Roberto (rel.) (2003) [BM Tesi I 0215]. - Shape analysis con logica a 3 valori. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.