"Hypersequents, logical consequence and intermediate logics for concurrency."

Arnon Avron (1991)
a service of Schloss Dagstuhl - Leibniz Center for Informatics