Giampaolo Chiappini Bettina Pedemonte Elisabetta Robotti Using Alnuset to construct the notions of equivalence and equality in algebra. 345-348 2008 Learning to Live in the Knowledge Society http://dx.doi.org/10.1007/978-0-387-09729-9_50 conf/ifip3/2008 db/conf/ifip3/ifip3-2008.html#ChiappiniPR08