1. Maximal specification synthesis
2. Andrew Appel Lennart Beringer and Qinxiang Cao. 2021. Electronic textbook. Version 1.1.1 http://softwarefoundations.cis.upenn.edu Andrew Appel Lennart Beringer and Qinxiang Cao. 2021. Electronic textbook. Version 1.1.1 http://softwarefoundations.cis.upenn.edu
3. 2009. Handbook of Satisfiability , Armin Biere, Marijn Heule, Hans van Maaren, and Toby Walsh (Eds.) (Frontiers in Artificial Intelligence and Applications , Vol. 185). IOS Press. isbn:978-1-58603-929- 5 2009. Handbook of Satisfiability, Armin Biere, Marijn Heule, Hans van Maaren, and Toby Walsh (Eds.) (Frontiers in Artificial Intelligence and Applications, Vol. 185). IOS Press. isbn:978-1-58603-929-5
4. Arthur Charguéraud , Jean-Christophe Filliâtre , Mário Pereira , and François Pottier . 2017 . VOCAL – A Verified OCaml Library . ML Family Workshop. Arthur Charguéraud, Jean-Christophe Filliâtre, Mário Pereira, and François Pottier. 2017. VOCAL – A Verified OCaml Library. ML Family Workshop.
5. Leonardo de Moura and Nikolaj Bjørner . 2008. Z3: An Efficient SMT Solver . In Tools and Algorithms for the Construction and Analysis of Systems , C. R. Ramakrishnan and Jakob Rehof (Eds.). Springer Berlin Heidelberg , Berlin, Heidelberg . 337–340. isbn:978-3-540-78800-3 Leonardo de Moura and Nikolaj Bjørner. 2008. Z3: An Efficient SMT Solver. In Tools and Algorithms for the Construction and Analysis of Systems, C. R. Ramakrishnan and Jakob Rehof (Eds.). Springer Berlin Heidelberg, Berlin, Heidelberg. 337–340. isbn:978-3-540-78800-3