TY - RPRT TI - A First Polynomial Non-Clausal Class in Many-Valued Logic AU - Gonzalo E. Imaz PY - 2021 UR - https://arxiv.org/abs/2110.12901 ID - 2110.12901 ER -