Giuseppe Viviani Ernesto Damiani Nico Lavarini Stefania Marrara Barbara Oliboni Daniele Pasini Letizia Tanca Giuseppe Viviani 753-755 2002 conf/edbt/2002 EDBT https://doi.org/10.1007/3-540-45876-X_52 db/conf/edbt/edbt2002.html#DamianiLMOPTV02 Ernesto Damiani Nico Lavarini Stefania Marrara Barbara Oliboni Daniele Pasini Letizia Tanca