An extended branching-time Ockhamist temporal logic
scientific article; zbMATH DE number 1286168