University of Genova and Istituto Ricerca Scientifica e Tecnologica, Trento, Italy

Tech reports (ftp) from the Mechanized Reasoning Group
Tech reports (www) & Papers (www) from Laboratorio per la Robotica Avanzata Integrata