CEGAR-tableaux: improved modal satisfiability via modal clause-learning and SAT

From MaRDI portal
Publication:2142066