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

by C Dixon
Venue:Annals of Mathematics and Artificial Intelligence