Translating between Horn Representations and their Characteristic Models

Open in new window