A paper I contributed to (AxSAT – Bringing Axioms to SAT Planning) was accepted at JELIA 2025.