@misc{indiciaee23bdef0f134,
  title = {PDDL Axioms Are Equivalent to Least Fixed Point Logic (Extended Version)},
  author = {Claudia Grundke and Gabriele Röger},
  year = {2026},
  url = {https://arxiv.org/abs/2510.14412},
  note = {Source identifier: 2510.14412}
}