Horn functions and the AFP Algorithm. - Rooholah Majdodin (CoRR, 2014)