@inproceedings{cooper-et-al-cp2022,
  author       = {Martin C. Cooper and Arnaud Lequen and Fr{\'e}d{\'e}ric Maris},
  title        = {Isomorphisms Between {STRIPS} Problems and Sub-Problems},
  pages        = {13:1--13:16},
  year         = 2022,
  editor       = {Christine Solnon},
  booktitle    = {Proceedings of the 28th International Conference on Principles and
    Practice of Constraint Programming},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"u}r Informatik},
  series       = {LIPIcs},
  volume       = 235,
}