Search strategies for resolution in temporal logics
scientific article; zbMATH DE number 7001945
scientific article