../ figures/ 16-Oct-2010 09:48 - SIFT_Formalization_v13.pdf 12-Oct-2010 17:28 3294106 SIFT_Formalization_v13.tex 12-Oct-2010 17:23 63759 biblio_SIFT_consistency.bib 02-Oct-2010 18:44 13541