Simari, Guillermo Ricardo Introducing generalized specificity in logic programming Standard No.: DIF-M3539