Informational Logic for Automated Reasoning.

Paola Forcheri, Paolo Gentilini, Maria Teresa Molfino

Browse the full JELIA paper archive.