.. Bibliography

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

.. [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