"Structural Interactions and Absorption of Structural Rules in BI Sequent ..."

Ryuta Arisaka (2016)
a service of Schloss Dagstuhl - Leibniz Center for Informatics