@article{10.1145/3801910,
  title = "PANDAExpress: A Simpler and Faster PANDA Algorithm",
  author = "Abo Khamis and Mahmoud and Ngo, Hung Q. and Suciu, Dan",
  year = "2026",
  address = "New York, NY, USA",
  journal = "Proc. ACM Manag. Data",
  keywords = "panda, conjunctive queries, disjunctive datalog rules, submodular width, proof sequences, shannon inequalities",
  month = "may",
  number = "2",
  publisher = "Association for Computing Machinery",
  url = "https://doi.org/10.1145/3801910",
  volume = "4",
  doi = "10.1145/3801910",
}