Temporal resolution using a breadth-first search algorithm (1998)

by C Dixon
Venue:Proceedings of the 12th International Symposium on Temporal Representation and Reasoning (TIME’05) 1530-1311/05 $20.00 © 2005 IEEE