A clausal resolution method for branching-time logic \(\text{ECTL}^+\)
scientific article; zbMATH DE number 5118382
scientific article