One-pass and tree-shaped tableau systems for TPTL and \(\mathrm{TPTL_b+Past}\)
scientific article; zbMATH DE number 7354965
scientific article