Mathematical Foundation of a Functional Implementation of the CNF Algorithm | Publicación