@article{journals/tcs/GottlobLS02,
  title = "Computing {LOGCFL} certificates",
  author = "Georg Gottlob and Nicola Leone and Francesco Scarcello",
  year = "2002",
  journal = "Theor. Comput. Sci.",
  number = "1-2",
  pages = "761-777",
  volume = "270",
  doi = "10.1016/S0304-3975(01)00108-6",
}