1. Basile V, Cabrio E, Schon C (2016) KNEWS: using logical and lexical semantics to extract knowledge from natural language. In: Proceedings of the European conference on artificial intelligence (ECAI) 2016 conference
2. Baumberger C, Brun G (2016) Dimensions of objectual understanding. In: Explaining understanding. New perspectives from epistemology and philosophy of science, pp 165–189
3. Baumgartner M, Lampert T (2008) Adequate formalization. Synthese 164(1):93–115
4. Benzmüller C (2019) Universal (meta-)logical reasoning: recent successes. Sci Comput Program 172:48–62
5. Benzmüller C, Andrews P (2019) Church’s type theory. In: Zalta EN (eds.) The stanford encyclopedia of philosophy. Metaphysics Research Lab, Stanford University, summer 2019 edition