@book(wam:hassan,
 author       = {A{\"\i}t-Kaci, Hassan},
 year         = {1991},
 title        = {{Warren's Abstract Machine: A Tutorial Reconstruction}},
 publisher    = {{MIT} {P}ress},
)
@inproceedings(ColmerauerR93,
 author       = {Alain Colmerauer and Philippe Roussel},
 year         = {1993},
 title        = {The Birth of Prolog},
 editor       = {John A. N. Lee and Jean E. Sammet},
 booktitle    = {History of Programming Languages Conference (HOPL-II), Preprints, Cambridge, Massachusetts, USA, April 20-23, 1993},
 publisher    = {{ACM}},
 pages        = {37--52},
 doi          = {10.1145/154766.155362},
)
@inproceedings(DymchenkoM15,
 author       = {Sergii Dymchenko and Mariia Mykhailova},
 year         = {2015},
 title        = {Declaratively Solving Google Code Jam Problems with Picat},
 booktitle    = {{PADL}},
 pages        = {50--57},
 doi          = {10.1007/978-3-319-19686-2\_4},
)
@book(HEN89,
 author       = {Pascal van Hentenryck},
 year         = {1989},
 title        = {Constraint Satisfaction in Logic Programming},
 publisher    = {MIT Press},
)
@book(Kowalski79,
 author       = {Robert Kowalski},
 year         = {1979},
 title        = {Logic for Problem Solving},
 publisher    = {North Holland, Elsevier},
)
@techreport(Warren83,
 author       = {David H. D. Warren},
 year         = {1983},
 title        = {An Abstract {P}rolog Instruction Set},
 type         = {Technical Note 309},
 institution  = {SRI International},
)
@article(Warren92,
 author       = {David S. Warren},
 year         = {1992},
 title        = {Memoing for Logic Programs},
 journal      = {Comm. of the ACM, Special Section on Logic Programming},
 volume       = {35},
 pages        = {93--111},
 doi          = {10.1145/131295.131299},
)
@misc(adventofcode,
 author       = {Eric Wastl},
 year         = {2015-now},
 title        = {{Advent of Code}},
 howpublished = {\url{https://adventofcode.com}},
 note         = {[Online; accessed September 7, 2025]},
)
@misc(aoc2024day24,
 author       = {Eric Wastl},
 year         = {2024},
 title        = {Day 24: Crossed Wires},
 howpublished = {\url{https://adventofcode.com/2024/day/24}},
 note         = {[Online; accessed September 7, 2025]},
)
@article(Zhou12,
 author       = {Neng-Fa Zhou},
 year         = {2012},
 title        = {The Language Features and Architecture of {B-Prolog}},
 journal      = {Theory and Practice of Logic Programming},
 volume       = {12},
 number       = {1-2},
 pages        = {189--218},
 doi          = {10.1017/S1471068411000445},
)
@inproceedings(Zhou16,
 author       = {Neng{-}Fa Zhou},
 year         = {2016},
 title        = {Programming in Picat},
 booktitle    = {Rule Technologies. Research, Tools, and Applications - 10th International Symposium, RuleML 2016, Stony Brook, NY, USA, July 6-9, 2016. Proceedings},
 series       = {Lecture Notes in Computer Science},
 volume       = {9718},
 publisher    = {Springer},
 pages        = {3--18},
 doi          = {10.1007/978-3-319-42019-6\_1},
)
@article(ZhouBD15,
 author       = {Neng-Fa Zhou and Roman Bart\'{a}k and Agostino Dovier},
 year         = {2015},
 title        = {Planning as Tabled Logic Programming},
 journal      = {Theory and Practice of Logic Programming},
 volume       = {15},
 number       = {4-5},
 pages        = {543--558},
 doi          = {10.1017/S1471068415000216},
)
@misc(PicatGuide,
 author       = {Neng-Fa Zhou and Jonathan Fruhman},
 year         = {2013--2025},
 title        = {A User’s Guide to Picat},
 howpublished = {\url{https://picat-lang.org}},
 note         = {[Online; accessed September 7, 2025]},
)
@inproceedings(ZhouF17,
 author       = {Neng{-}Fa Zhou and Jonathan Fruhman},
 year         = {2017},
 title        = {Canonicalizing High-Level Constructs in Picat},
 booktitle    = {{PADL}},
 pages        = {19--33},
 doi          = {10.1007/978-3-319-51676-9\_2},
)
@inproceedings(zhou2016picat,
 author       = {Neng-Fa Zhou and H{\r a}kan Kjellerstrand},
 year         = {2016},
 title        = {The Picat-SAT compiler},
 booktitle    = {Practical Aspects of Declarative Languages: 18th International Symposium, PADL 2016, St. Petersburg, FL, USA, January 18-19, 2016. Proceedings 18},
 organization = {Springer},
 pages        = {48--62},
 doi          = {10.1007/978-3-319-28228-2\_4},
)
@inproceedings(ZhouK17,
 author       = {Neng{-}Fa Zhou and H{\r a}kan Kjellerstrand},
 year         = {2017},
 title        = {Optimizing {SAT} Encodings for Arithmetic Constraints},
 booktitle    = {{CP}},
 pages        = {671--686},
 doi          = {10.1007/978-3-319-66158-2\_43},
)
@misc(PicatWebsite,
 author       = {Neng-Fa Zhou and H{\r a}kan Kjellerstrand and Jonathan Fruhman},
 year         = {2013--2025},
 title        = {Picat Programming Language},
 howpublished = {\url{https://picat-lang.org}},
 note         = {[Online; accessed September 7, 2025]},
)
@book(PicatBook15,
 author       = {Neng-Fa Zhou and H{\r a}kan Kjellerstrand and Jonathan Fruhman},
 year         = {2015},
 title        = {Constraint solving and planning with Picat},
 series       = {Springer Briefs in Intelligent Systems},
 volume       = {11},
 publisher    = {Springer},
 doi          = {10.1007/978-3-319-25883-6},
)