Return to Article Details Translating between Horn Representations and their Characteristic Models Download Download PDF