Teseo: A vectoriser of historical seismograms. - Stefano Pintore; Matteo Quintiliani; Diego Franceschi (Comput. Geosci., 2005)