### Archival Literature

#### Papers at International, Peer-Reviewed Conferences

- [1]
M. Kohlhase, F. Rabe, C. S. Coen, and J. F. Schaefer (2020)
Logic-independent proof search in logical frameworks (short paper).
In 10th international joint conference on automated reasoning (IJCAR 2020)10th International Joint Conference on Automated Reasoning (IJCAR 2020), N. Peltier and V. Sofronie-Stokkermans (Eds.),
pp. 395–401.
Cited by: p1.
- [2]
J. F. Schaefer, K. Amann, and M. Kohlhase (2020)
Prototyping controlled mathematical languages in jupyter notebooks.
In Mathematical software – icms 2020. 7th international conferenceMathematical Software – ICMS 2020. 7th international conference, A. M. Bigatti, J. Carette, J. H. Davenport, M. Joswig, and T. de Wolff (Eds.),
LNCS, Vol. 12097, pp. 406–415.
External Links: Link
Cited by: p1.

### Theses

- [2]
J. F. Schaefer (2020)
Prototyping NLU pipelines – a type-theoretical framework.
Master’s Thesis, Informatik, FAU Erlangen-Nürnberg.
External Links: Link
Cited by: p1.
- [1]
J. F. Schaefer (2016)
Declaration spotting in mathematical documents.
B. Sc. Thesis, Jacobs University Bremen.
External Links: Link
Cited by: p1.

### Bachelors/Masters Project Reports

- [1]
Cited by: p1.

### Gray Literature

#### Papers at Peer-Reviewed Workshops

- [2]
J. F. Schaefer, K. Amann, and M. Kohlhase (2020)
Prototyping controlled mathematical languages in jupyter notebooks.
In Mathematical software – icms 2020. 7th international conferenceMathematical Software – ICMS 2020. 7th international conference, A. M. Bigatti, J. Carette, J. H. Davenport, M. Joswig, and T. de Wolff (Eds.),
LNCS, Vol. 12097, pp. 406–415.
External Links: Link
Cited by: p1.
- [4]
J. F. Schaefer and M. Kohlhase (2020)
GLIF: a declarative framework for symbolic natural language understanding.
In Proceedings of the 6th Workshop on Formal and Cognitive Reasoning, C. Beierle, M. Ragni, F. Stolzenburg, and M. Thimm (Eds.),
pp. 4–11.
External Links: Link
Cited by: p1.
- [1]
M. Kohlhase and J. F. Schaefer (2019)
GF + MMT = GLF – from language to semantics through LF.
In Proceedings of the Fourteenth Workshop on
Logical Frameworks and Meta-Languages: Theory and Practice, LFMTP 2019, D. Miller and I. Scagnetto (Eds.),
Vol. 307, pp. 24–39.
External Links: Document
Cited by: p1.
- [3]
J. F. Schaefer and M. Kohlhase (2018)
Syntactic/semantic analysis for high-precision math linguistics.
In Workshop papers at 11th conference on intelligent computer mathematics cicm 2018Workshop Papers at 11th Conference on Intelligent Computer Mathematics CICM 2018, O. Hasan, A. Youssef, A. Naumowicz, W. Farmer, C. Kaliszyk, D. Gallois-Wong, F. Rabe, G. D. Reis, G. Passmore, J. Davenport, M. Pfeiffer, M. Kohlhase, S. Autexier, S. Tahar, T. Koprucki, U. Siddique, W. Neuper, W. Windsteiger, W. Schreiner, W. Sperber, and Z. Kovács (Eds.),
Note: CICM Work in Progress Paper
External Links: Link
Cited by: p1.

### Unpublished

- [1]
M. Kohlhase, F. Rabe, C. S. Coen, and J. F. Schaefer (2020)
Logic-independent proof search in logical frameworks (extended report).
Note: extended report of conference submission
External Links: Link
Cited by: p1.