.. -*- compile-command: "make html" -*-
.. Bibliography

Bibliography
############

The publications below are referred to from this documentation site.
In addition, the old website has a list of `publications about Dyna
<http://www.dyna.org/wiki/index.php?title=Publications>`_ as well as
some `publications that use Dyna
<http://www.dyna.org/wiki/index.php?title=Users>`_.

.. [filardo-eisner-2012] Nathaniel W. Filardo and Jason Eisner.
   :t:`A flexible solver for finite arithmetic circuits`.
   ICLP LIPIcs, 2012.
   http://cs.jhu.edu/~jason/papers/#filardo-eisner-2012-iclp

.. [eisner-filardo-2011] Jason Eisner and Nathaniel W. Filardo.
   :t:`Dyna: Extending Datalog for modern AI`.
   Datalog Reloaded, 2011.
   http://cs.jhu.edu/~jason/papers/#eisner-filardo-2011

.. [goodrich-tamassia]  Michael T. Goodrich and Roberto Tamassia.
   :t:`Data Structures and Algorithms in Java`.
   ISBN 978-0470383261.
   2010.

.. [MercuryLang] http://www.mercurylang.org
