Temporal resolution using a breadth-first search algorithm
scientific article; zbMATH DE number 1139413