The Expressive Power of Unique Total Stable Model Semantics / Buccafurri, Francesco; Greco, S.; Sacca', D.. - (1997), pp. 849-859. (Intervento presentato al convegno 24th International Colloquium on Automata, Languages and Programming).
File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.