On the computational complexity of satisfiability in propositional logics of programs
scientific article; zbMATH DE number 3782372
scientific article