Uniform interpolation and sequent calculi in modal logic
Archive for Mathematical Logic (2019) - Comments
doi: 10.1007/s00153-018-0629-0  issn: 0933-5846  issn: 1432-0665 

Rosalie Iemhoff