Publication Date:
2001
Short description:
On ACTL Formulas Having Linear Counterexamples / Buccafurri, F., Eiter, T., Gottlob, G., Leone, N.. - In: JOURNAL OF COMPUTER AND SYSTEM SCIENCES. - ISSN 0022-0000. - 62:(2001), pp. 463-515.
Iris type:
1.1 Articolo in rivista
List of contributors:
Buccafurri, Francesco; Eiter, T.; Gottlob, G.; Leone, N.
Published in: