https://arxiv.org/abs/cs/9512105
[cs/9512105] Translating between Horn Representations and their Characteristic Models
Abstract page for arXiv paper cs/9512105: Translating between Horn Representations and their Characteristic Models
cstranslatinghornrepresentationscharacteristic