A temporal terminological logic, in (1990)

by A Schmiedel
Venue:Proceedings of the 9th National Conference of the American Association for Artificial Intelligence