A First Polynomial Non-Clausal Class in Many-Valued Logic

Open in new window