A note on the representation of McNaughton lines by basic literals S. Aguzzoli Original paper Pages: 111 - 115
The satisfiability problem in regular CNF-formulas F. ManyàR. BéjarG. Escalada-Imaz Original paper Pages: 116 - 123