@article{BUMI_2006_8_9A_3-1_a0,
     author = {Maggesi, Marco and Simpson, Carlos},
     title = {Verifica automatica del ragionamento matematico},
     journal = {Bollettino della Unione matematica italiana},
     pages = {361--389},
     publisher = {mathdoc},
     volume = {Ser. 8, 9A},
     number = {3-1},
     year = {2006},
     zbl = {1195.03018},
     language = {it},
     url = {http://geodesic.mathdoc.fr/item/BUMI_2006_8_9A_3-1_a0/}
}