The Horn Non-Clausal Class and its Polynomiality

Open in new window