M.: Temporalizing description logic (1999)

by F Wolter, Zakharyaschev
Venue:Frontiers of Combining Systems