@inproceedings{mcilree2023SmartExtensional
  title     = {Proof Logging for Smart Extensional Constraints},
  booktitle = {29th International Conference on Principles and Practice of Constraint Programming ({{CP}} 2023)},
  author    = {McIlree, Matthew J. and McCreesh, Ciaran},
  editor    = {Yap, Roland H. C.},
  year      = {2023},
  series    = {Leibniz International Proceedings in Informatics ({{LIPIcs}})},
  volume    = {280},
  pages     = {26:1--26:17},
  publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address   = {Dagstuhl, Germany},
  issn      = {1868-8969},
  doi       = {10.4230/LIPIcs.CP.2023.26},
  isbn      = {978-3-95977-300-3},
  urn       = {urn:nbn:de:0030-drops-190633},
}