Non-Markovian control in the Situation Calculus
scientific article; zbMATH DE number 5909434