Translation of hypersequents into display sequents | OUP Journals & Magazine | IEEE Xplore