@article{journals/ai/BuccafurriEGL99,
  title = "Enhancing Model Checking in Verification by AI Techniques",
  author = "Francesco Buccafurri and Thomas Eiter and Georg Gottlob and Nicola Leone",
  year = "1999",
  journal = "Artif. Intell.",
  number = "1-2",
  pages = "57-104",
  volume = "112",
  doi = "10.1016/S0004-3702(99)00039-9",
}