Article CHECKING UP ISOMORPHIC INCLUSIONS OF R-EXPRESSIONS IN THE CONSTRUCTION OF A SET OF SECTIONS FOR PARALLEL LOGIC CONTROL ALGORITHMS