Temporal Resolution Using a Breadth-First Search Algorithm (1998)

by C DIXON
Venue:Annals of Mathematics and Artificial Intelligence