The completeness of a natural system for reasoning with time intervals (1987)

by P Ladkin
Venue:In Proceedings of the International Joint Conference on Artificial Intelligence