%0 Journal Article %1 journals/jcss/BuccafurriEGL01 %A Buccafurri, Francesco %A Eiter, Thomas %A Gottlob, Georg %A Leone, Nicola %D 2001 %J J. Comput. Syst. Sci. %K dblp %N 3 %P 463-515 %T On ACTL Formulas Having Linear Counterexamples. %U http://dblp.uni-trier.de/db/journals/jcss/jcss62.html#BuccafurriEGL01 %V 62

@article{journals/jcss/BuccafurriEGL01, added-at = {2021-02-16T00:00:00.000+0100}, author = {Buccafurri, Francesco and Eiter, Thomas and Gottlob, Georg and Leone, Nicola}, biburl = {https://www.bibsonomy.org/bibtex/239e1569fe2771cbd69da3bbfefb2f01b/dblp}, ee = {https://www.wikidata.org/entity/Q59259726}, interhash = {a98ce9faa339d8070240a19b390574c9}, intrahash = {39e1569fe2771cbd69da3bbfefb2f01b}, journal = {J. Comput. Syst. Sci.}, keywords = {dblp}, number = 3, pages = {463-515}, timestamp = {2024-04-08T19:13:12.000+0200}, title = {On ACTL Formulas Having Linear Counterexamples.}, url = {http://dblp.uni-trier.de/db/journals/jcss/jcss62.html#BuccafurriEGL01}, volume = 62, year = 2001 }