Tableaux and sequent calculi for \textsf{CTL} and \textsf{ECTL}: satisfiability test with certifying proofs and models
scientific article; zbMATH DE number 7618127
scientific article