For:
Publications Home » Labelled Natural Deduction for Co...
Krysia Broda, Luis Lamb, Alessandra Russo, Dov Gabbay
pubs.doc.ic.ac.uk: built & maintained by Ashok Argent-Katwala.