@Inproceedings{mehdi2010vpoisodla, author = "Anees ul Mehdi and Baader Franz and Hongkai Liu", booktitle = "Proceedings of the 19th European Conference on Artificial Intelligence", month = "August", publisher = "ECAI 2010", title = "Verifying Properties of Infinite Sequences of Description Logic Actions", year = "2010", }