Theorem 4.10 — a parsimonious mixed 0-1 representation of any regular form obtained by basic steps

Initializing...

Theorem 4.10 — a parsimonious mixed 0-1 representation of any regular form obtained by basic steps · Prove2Me