@misc(cereal,
 title        = {{\textsc{cereal}\xspace}},
 howpublished = {\url{https://github.com/GaloisInc/cereal}},
)
@misc(binary,
 title        = {{\textsc{binary}\xspace}},
 howpublished = {\url{https://github.com/kolmodin/binary}},
)
@misc(tpl,
 title        = {{\textsc{tpl}\xspace}},
 howpublished = {\url{http://troydhanson.github.io/tpl/}},
)
@misc(avro,
 title        = {{\textsc{Apache Avro\texttrademark}\xspace}},
 howpublished = {\url{http://avro.apache.org/docs/1.7.5/spec.html}},
)
@misc(protobuf,
 title        = {{\textsc{Protocol Buffers}\xspace}},
 howpublished = {\url{https://developers.google.com/protocol-buffers/}},
)
@misc(bson,
 title        = {{\textsc{bson}\xspace}},
 howpublished = {\url{http://bsonspec.org/}},
)
@misc(messagepack,
 title        = {{\textsc{Message Pack}\xspace}},
 howpublished = {\url{http://msgpack.org/}},
)
@misc(capnproto,
 title        = {{\textsc{Cap'n'Proto}\xspace}},
 howpublished = {\url{https://capnproto.org/}},
)
@misc(mypage,
 title        = {{GitHub user gapag}},
 howpublished = {\url{https://github.com/gapag/horn-binary-deserialization/}},
)
@misc(erlang,
 title        = {{\textsc{Erlang}\xspace Programming Language}},
 howpublished = {\url{http://www.erlang.org/}},
)
@misc(python,
 title        = {{The \textsc{Python}\xspace programming language}},
 howpublished = {\url{https://www.python.org/}},
)
@inproceedings(back2002datascript,
 author       = {Godmar Back},
 year         = {2002},
 title        = {DataScript - {A} Specification and Scripting Language for Binary Data},
 booktitle    = {Generative Programming and Component Engineering, {ACM} {SIGPLAN/SIGSOFT} Conference, {GPCE} 2002, Pittsburgh, PA, USA, October 6-8, 2002, Proceedings},
 pages        = {66--77},
 doi          = {10.1007/3-540-45821-2\_4},
)
@misc(PNG,
 author       = {T. Boutell},
 year         = {1997},
 title        = {{PNG (Portable Network Graphics) Specification Version 1.0}},
 howpublished = {RFC Editor},
 url          = {http://tools.ietf.org/html/rfc2083},
)
@incollection(negationAsFailure,
 author       = {KeithL. Clark},
 year         = {1978},
 title        = {{Negation as Failure}},
 editor       = {Hervé Gallaire and Jack Minker},
 booktitle    = {Logic and Data Bases},
 publisher    = {Springer US},
 pages        = {293--322},
 doi          = {10.1007/978-1-4684-3384-5\_11},
)
@article(dowling1984linear,
 author       = {William F Dowling and Jean H Gallier},
 year         = {1984},
 title        = {{Linear-time algorithms for testing the satisfiability of propositional Horn formulae}},
 journal      = {The Journal of Logic Programming},
 volume       = {1},
 number       = {3},
 pages        = {267--284},
 doi          = {10.1016/0743-1066(84)90014-1},
)
@inproceedings(fisher2011pads,
 author       = {Kathleen Fisher and David Walker},
 year         = {2011},
 title        = {The {PADS} project: an overview},
 booktitle    = {Database Theory - {ICDT} 2011, 14th International Conference, Uppsala, Sweden, March 21-24, 2011, Proceedings},
 pages        = {11--17},
 doi          = {10.1145/1938551.1938556},
)
@book(clips,
 author       = {Joseph C. Giarratano and Gary D. Riley},
 year         = {2005},
 title        = {{Expert Systems: Principles and Programming}},
 publisher    = {Brooks/Cole Publishing Co.},
 address      = {Pacific Grove, CA, USA},
 doi          = {10.1016/0005-1098(91)90121-H},
)
@inproceedings(gustafsson2005bit,
 author       = {Per Gustafsson and Konstantinos Sagonas},
 year         = {2005},
 title        = {{Bit-level binaries and generalized comprehensions in Erlang}},
 booktitle    = {Proceedings of the 2005 ACM SIGPLAN workshop on Erlang},
 organization = {ACM},
 pages        = {1--8},
 doi          = {10.1145/1088361.1088363},
)
@book(jess,
 author       = {Ernest Friedman Hill},
 year         = {2003},
 title        = {{Jess in Action: Java Rule-Based Systems}},
 publisher    = {Manning Publications Co.},
 address      = {Greenwich, CT, USA},
)
@misc(isoMPthree,
 author       = {{ISO/IEC}},
 year         = {1993},
 title        = {{ISO/IEC 11172-3:1993 - Information technology -- Coding of moving pictures and associated audio for digital storage media at up to about 1,5 Mbit/s -- Part 3: Audio}},
 howpublished = {Padr\~{a}o},
 doi          = {10.1.1.128.8675},
)
@article(mccann2000packet,
 author       = {Peter J McCann and Satish Chandra},
 year         = {2000},
 title        = {{Packet types: abstract specification of network protocol messages}},
 journal      = {ACM SIGCOMM Computer Communication Review},
 volume       = {30},
 number       = {4},
 pages        = {321--333},
 doi          = {10.1145/347057.347563},
)
@book(RussellAI,
 author       = {Stuart J. Russell and Peter Norvig},
 year         = {2003},
 title        = {{Artificial Intelligence: A Modern Approach}},
 edition      = {2},
 publisher    = {Pearson Education},
)