OpenAlex
A subclass of Horn CNFs optimally compressible in polynomial time
Work