Blanchette, Jasmin Christian Automation of Logic, MPI for Informatics, Max Planck Society;
Fleury, Mathias Automation of Logic, MPI for Informatics, Max Planck Society;
Biendarra, J., Blanchette, J. C., Bouzy, A., Desharnais, M., Fleury, M., Hölzl, J., et al. (2017). Foundational (Co)datatypes and (Co)recursion for Higher-Order Logic. In C. Dixon, & M. Finger (Eds.), Frontiers of Combining Systems (pp. 3-21). Berlin: Springer. doi:10.1007/978-3-319-66167-4_1.