Using temporal logics to express search control knowledge for planning
scientific article; zbMATH DE number 1454121