Decision complexity of variants of propositional dynamic logic

From MaRDI portal
Publication:3897033