Enrico Franconi David Toman Fixpoints in Temporal Description Logics. 875-880 2011 IJCAI http://ijcai.org/papers11/Papers/IJCAI11-152.pdf conf/ijcai/2011 db/conf/ijcai/ijcai2011.html#FranconiT11