Completezza di Turing della programmazione tramite clausole di Horn. (Dispensa)
Aggregazione dei criteri
PDF
Per visualizzare il file, fai click su questo link: 4_TuringCompletezza_ClausoleDiHorn.pdf