Stéphane Demri Rajeev Goré Display Calculi for Logics with Relative Accessibility Relations. 213-236 2000 9 Journal of Logic, Language and Information 2 db/journals/jolli/jolli9.html#DemriG00