@InProceedings{cp/BleukxDGBG23,
  author ={Bleukx, Ignace and Devriendt, Jo and Gamba, Emilio and Bogaerts, Bart and Guns, Tias},
  title ={{Simplifying Step-Wise Explanation Sequences}},
  booktitle ={29th International Conference on Principles and Practice of Constraint Programming (CP 2023)},
  pages ={11:1--11:20},
  series ={Leibniz International Proceedings in Informatics (LIPIcs)},
  ISBN ={978-3-95977-300-3},
  ISSN ={1868-8969},
  year ={2023},
  volume ={280},
  editor ={Yap, Roland H. C.},
  publisher ={Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address ={Dagstuhl, Germany},
  URL ={https://drops.dagstuhl.de/opus/volltexte/2023/19048},
  URN ={urn:nbn:de:0030-drops-190489},
  doi ={10.4230/LIPIcs.CP.2023.11},
  annote ={Keywords: explanation, deduction, constraint programming, propagation}
}