Valutazione Efficiente della Semantica Non Deterministica dei Programmi Logici Disgiuntivi