by Homola, M., Kl'uka, J., Svátek, V. and Vacura, M.
Reference:
Homola, M., Kl'uka, J., Svátek, V., Vacura, M., "Towards typed higher-order description logics", Proceedings of 26th International Workshop on Description Logics, DL 2013; Ulm; Germany; 23-26. July 2013, pp. 221-233.
Bibtex Entry:
@inproceedings{Homola2013221,
author={Homola, M. and Kl'uka, J. and Svátek, V. and Vacura, M.},
title={Towards typed higher-order description logics},
booktitle = {Proceedings of 26th International Workshop on Description Logics, DL 2013; Ulm; Germany; 23-26. July 2013},
series={CEUR Workshop Proceedings},
year={2013},
volume={1014},
pages={221-233},
scopusurl={http://www.scopus.com/inward/record.url?eid=2-s2.0-84892391635&partnerID=40&md5=7ec2bbbfc4f11996902ac050113e6e7e},
document_type={Conference Paper},
source={Scopus},
restype = {Cs}
}