One head is better than two: a polynomial restriction for propositional definite Horn forgetting

Open in new window