Dual systems of tableaux and sequents for PLTL
scientific article; zbMATH DE number 5624925
scientific article