Clare Dixon Temporal Resolution Using a Breadth-First Search Algorithm. 87-115 1998 22 Ann. Math. Artif. Intell. 1-2 db/journals/amai/amai22.html#Dixon98