A Proof Search System for a Modal Substructural Logic Based on Labelled Deductive Systems.

Hiu Fai Chau A Proof Search System for a Modal Substructural Logic Based on Labelled Deductive Systems. 65-75 1993 conf/lpar/1993 LPAR db/conf/lpar/lpar93.html#Chau93 http://dx.doi.org/10.1007/3-540-56944-8_42