@inproceedings{behnke-et-al-jelia2025,
  author       = {Gregor Behnke and David Speck and Daniel Gnad},
  editor       = {Giovanni Casini and Besik Dundua and Temur Kutsia},
  title        = {{AxSAT} -- Bringing Axioms to {SAT} Planning},
  booktitle    = {Logics in Artificial Intelligence},
  year         = 2025,
  publisher    = {Springer Nature Switzerland},
  pages        = {77--93},
}