@article{journals/jcss/BuccafurriEGL01,
  title = "On {ACTL} Formulas Having Linear Counterexamples",
  author = "Francesco Buccafurri and Thomas Eiter and Georg Gottlob and Nicola Leone",
  year = "2001",
  journal = "J. Comput. Syst. Sci.",
  number = "3",
  pages = "463-515",
  volume = "62",
}