1. Alama, J., P. E. Oppenheimer, and E. N. Zalta. 2015. Automating Leibniz’s theory of concepts. In Automated Deduction - CADE-25 - 25th International Conference on Automated Deduction, Berlin, Germany, August 1–7, 2015, Proceedings, ed. A. P. Felty and A. Middeldorp, vol. 9195, 73–97. Lecture Notes in Computer Science. Berlin: Springer.
2. Baumberger, C., and G. Brun. 2016. Dimensions of objectual understanding. Explaining Understanding. New Perspectives from Epistemology and Philosophy of Science, 165–189. New York: Routledge.
3. Baumgartner, M., and T. Lampert. 2008. Adequate formalization. Synthese 164 (1): 93–115.
4. Benzmüller, C. 2013. A top-down approach to combining logics. In Proceedings of the 5th International Conference on Agents and Artificial Intelligence (ICAART), ed. J. Filipe and A. Fred, vol. 1, 346–351, Barcelona, Spain. SCITEPRESS – Science and Technology Publications, Lda.
5. ——. 2017. Recent successes with a meta-logical approach to universal logical reasoning (extended abstract). In Formal Methods: Foundations and Applications - 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 - December 1, 2017, Proceedings, ed. S. A. da Costa Cavalheiro and J. L. Fiadeiro. Lecture Notes in Computer Science, vol. 10623, 7–11. Cham: Springer.