1. Lecture Notes in Computer Science;PA Abdulla,2014
2. Abdulla, P., et al.: Efficient handling of string-number conversion. In: PLDI 2020, pp. 943–957. ACM (2020)
3. Lecture Notes in Computer Science;F Baader,2009
4. Baader, F., Calvanese, D., Guinness, D.M., Nardi, D., Patel-Schneider, P. (eds.): The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge University Press, Cambridge (2003)
5. Baader, F., Hanschke, P.: A scheme for integrating concrete domains into concept languages. In: IJCAI 1991, pp. 452–457 (1991)