Il teorema di Church, riferito alle clausole di Horn
Aggregazione dei criteri
PDF
Per visualizzare il file, fai click su questo link: 9g_teoremaChurchLucidi.pdf