Return to Article Details The formalization of lists in the meta-language of normal forms of knowledge Download Download PDF