Mathematical Foundation of a Functional Implementation of the CNF Algorithm. - Francisco Miguel García-Olmedo; Jesús García-Miranda; Pedro González-Rodelas (Algorithms, 2023)