1. Albarghouthi, A., Koutris, P., Naik, M., & Smith, C. (2017). Constraint-based synthesis of Datalog programs. In J. C. Beck (Ed.), Principles and practice of constraint programming—23rd international conference, CP 2017, Melbourne, VIC, Australia, August 28–September 1, 2017, Proceedings, volume 10416 of Lecture Notes in Computer Science (pp. 689–706). Springer.
2. Bienvenu, M. (2007). Prime implicates and prime implicants in modal logic. In Proceedings of the twenty-second AAAI conference on artificial intelligence, July 22–26, 2007, Vancouver, BC, Canada (pp. 379–384). AAAI Press.
3. Blumer, A., Ehrenfeucht, A., Haussler, D., & Warmuth, M. K. (1987). Occam’s razor. Information Processing Letters, 24(6), 377–380.
4. Bradley, A. R., & Manna, Z. (2007). The calculus of computation-decision procedures with applications to verification. Berlin: Springer.
5. Campero, A., Pareja, A., Klinger, T., Tenenbaum, J., & Riedel, S. (2018). Logical rule induction and theory learning using neural theorem proving. ArXiv e-prints, September 2018.