A local system for classical logic (2001)

by K Brünnler, A F Tiu
Venue:LPAR 2001, volume 2250 of LNAI