%0 Journal Article
%A Maggesi, Marco
%A Simpson, Carlos
%T Verifica automatica del ragionamento matematico
%J Bollettino della Unione matematica italiana
%D 2006
%P 361-389
%V 9A
%N 3-1
%I mathdoc
%U http://geodesic.mathdoc.fr/item/BUMI_2006_8_9A_3-1_a0/
%G it
%F BUMI_2006_8_9A_3-1_a0