1. Kohlhase, M.: The Flexiformalist manifesto. In: Voronkov, A., et al. (eds.) Proceedings of the 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2012), pp. 30–35. IEEE (2012).
https://doi.org/10.1109/synasc.2012.78
2. Kohlhase, A., Kohlhase, M.: Towards a flexible notion of document context. In: Protopsaltis, A., et al. (eds.) Proceedings of the 29th ACM International Conference on Design of Communication (SIGDOC 2011), pp. 181–188. ACM (2011).
https://doi.org/10.1145/2038476.2038512
3. Buswell, S., Caprotti, O., Carlisle, D.P., Dewar, M.C., Gaëtano, M., Kohlhase, M.: The OpenMath Standard, Version 2.0. The OpenMath Society (2004).
https://www.openmath.org/standard/om20-2004-06-30/omstd20.html
4. Kirillovich, A., Nevzorova, O., Falileeva, M., Lipachev, E., Shakirova, L.: OntoMathEdu: towards an educational mathematical ontology. In: Workshop Papers at 12th Conference on Intelligent Computer Mathematics (CICM-WS 2019). CEUR Workshop Proceedings (forthcoming)
5. McCrae, J.P., Chiarcos, C., Bond, F., Cimiano, P., Declerck, T., de Melo, G., Gracia, J., Hellmann, S., Klimek, B., Moran, S., Osenova, P., Pareja-Lora, A., Pool, J.: The open linguistics working group: developing the linguistic linked open data cloud. In: Calzolari, N., et al. (eds.) Proceedings of the 10th International Conference on Language Resources and Evaluation (LREC 2016), pp. 2435–2441. ELRA (2016)