A proof system for unified temporal logic

From MaRDI portal
Publication:2686105