Click Algorithme_Transformation_FOL.pdf link to view the file.