A Prolog like temporal reasoning system (1995)

by T Panayiotopoulos, M Gergatsoulis
Venue:in Proc. of 13th IASTED International Conference on APPLIED INFORMATICS