Reasoning about time in the situation calculus
scientific article; zbMATH DE number 937232