Reasoning in expressive description logics with fixpoints based on automata on infinite trees (1999)

by D Calvanese, G De Giacomo, M Lenzerini
Venue:In: Proc. of the 16th Int. Joint Conf. on Artificial Intelligence (IJCAI’99