1. Andreoli, J.-M.: Logic programming with focusing proofs in linear logic. J. Log. Comput. 2(3), 297–347 (1992)
2. Assaf, A.: A framework for defining computational higher-order logics. Ph.D. thesis, École Polytechnique, September 2015
3. Baelde, D., Chaudhuri, K., Gacek, A., Miller, D., Nadathur, G., Tiu, A., Wang, Y.: Abella: a system for reasoning about relational specifications. J. Formalized Reason. 7(2), 1–89 (2014)
4. Blanco, R., Miller, D.: Proof outlines as proof certificates: a system description. Draft available online, September 2015
5. Boyer, R.S., Moore, J.S., San Diego: A Computational Logic. Academic Press, San Diego (1979)