A Proof Search System for a Modal Substructural Logic Based on Labelled Deductive Systems (1993)

Cached

Download Links

by Hiu Fai
Venue:Logic Programming and Automated Reasoning (LPAR'92), number 624 in LNAI (subseries of LNCS), St