[filardo-eisner-2012] | Nathaniel W. Filardo and Jason Eisner. 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. 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. Data Structures and Algorithms in Java. ISBN 978-0470383261. 2010. |
[MercuryLang] | http://www.mercurylang.org |