Hypersequents, logical consequence and intermediate logics for concurrency
scientific article; zbMATH DE number 1005860